certora-cli-alpha-master

Commit bba3e10. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Uploaded Aug 5, 2026 Source

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

Uploaded Aug 5, 2026 Python 3manylinux: glibc 2.28+ x86-64

Uploaded Aug 5, 2026 Python 3macOS 10.9+ universal2 (ARM64, x86-64)

Uploaded Aug 5, 2026 Python 3

Details for the file certora_cli_alpha_master-20260805.1.2.652818.tar.gz.

Hashes for certora_cli_alpha_master-20260805.1.2.652818.tar.gz
Algorithm	Hash digest
SHA256	`254ea9ce4c3bc8adfcec697f2fda4db82f3b1152253ab273724c39dbfb704774`
MD5	`7be79c91c6f48f705ddb588396e40c68`
BLAKE2b-256	`6a42a085a913ede7324cb158050585cdf46e5af978adba289da84a8ad464d02a`

Details for the file certora_cli_alpha_master-20260805.1.2.652818-py3-none-manylinux_2_28_x86_64.whl.

Download URL: certora_cli_alpha_master-20260805.1.2.652818-py3-none-manylinux_2_28_x86_64.whl
Upload date: Aug 5, 2026
Size: 44.2 MB
Tags: Python 3, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.11.15

Hashes for certora_cli_alpha_master-20260805.1.2.652818-py3-none-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`feb95819a6f6b5e6fabc4977a77ee3b44c5d22f0f8195fdc163b467cdc1a1a1b`
MD5	`0c87e07a1d57c137858da2109fea0cfa`
BLAKE2b-256	`5924efda386bde671bdbeb823ac09d2db3af4b518e8c032ef6f2d5db21aff1a5`

Details for the file certora_cli_alpha_master-20260805.1.2.652818-py3-none-macosx_10_9_universal2.whl.

Download URL: certora_cli_alpha_master-20260805.1.2.652818-py3-none-macosx_10_9_universal2.whl
Upload date: Aug 5, 2026
Size: 44.9 MB
Tags: Python 3, macOS 10.9+ universal2 (ARM64, x86-64)
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.11.15

Hashes for certora_cli_alpha_master-20260805.1.2.652818-py3-none-macosx_10_9_universal2.whl
Algorithm	Hash digest
SHA256	`d7167d097757083f59d21c103f03ceff20632cea952ffb5e14a9763f435521fe`
MD5	`b99f750429710a0c208ff369d5f960ed`
BLAKE2b-256	`b0e93b16c1e4fb362dff2200e54bff67ebc17478ebc30f5b4f90972f2196bcc3`

Details for the file certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl.

Hashes for certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl
Algorithm	Hash digest
SHA256	`36a60762dd32c7136496a9495d47c20bb256ee69f9b9b8d1edb7e15221922846`
MD5	`9f48367045a29d960e15c7e8edffd449`
BLAKE2b-256	`14d2af13f991fe901d8906cb29adf1db5efcb1771a0b4e9baefeb4537e4d93af`