certora-cli-alpha-master

Commit 293db3d. 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 21, 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 21, 2026 Python 3manylinux: glibc 2.28+ x86-64

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

Uploaded Aug 21, 2026 Python 3

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

Hashes for certora_cli_alpha_master-20260821.10.3.876041.tar.gz
Algorithm	Hash digest
SHA256	`fd3ecda623766d07ba410ae2af4a1ed9c376986dcc82bb767d55ae89161aa9a2`
MD5	`19f0920182179bf6be4492d16d26619b`
BLAKE2b-256	`3c799984c0989dce466562a098df2754f5302c00f624ec8e23610a3e0b469d86`

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

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

Hashes for certora_cli_alpha_master-20260821.10.3.876041-py3-none-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`734919bd93f88f24a839c3c7adea11b2b7a8fc0d5130aaa7aa9a045bec734576`
MD5	`0da833b3c131b0872092b2186ccc0a41`
BLAKE2b-256	`cad1ffd5b5fdc78206e5e5424e050d3bf5963bfc2639a8475221332bd12ee29f`

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

Download URL: certora_cli_alpha_master-20260821.10.3.876041-py3-none-macosx_10_9_universal2.whl
Upload date: Aug 21, 2026
Size: 45.0 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.16

Hashes for certora_cli_alpha_master-20260821.10.3.876041-py3-none-macosx_10_9_universal2.whl
Algorithm	Hash digest
SHA256	`79dd509f821173f7b5379d965e1db6cb4ae28486a9c8cebe46957dd760ce0722`
MD5	`f61138fc5f7d197ad99f4c80c2041598`
BLAKE2b-256	`7089099293d45a9e1ac6ca62e11cf9fa7fa0aaff99ca5af0b6f67d28c1052eda`

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

Hashes for certora_cli_alpha_master-20260821.10.3.876041-py3-none-any.whl
Algorithm	Hash digest
SHA256	`b9eea9f1a99a85a733d92015a53c04efdc6e3490c5f67ed6de0c98a29ade9f13`
MD5	`cf5ab9186003561fca29492a28a94baa`
BLAKE2b-256	`bbac1db015bae8969e9d1ab771ed0db5d5d6090d869f9513c3130a4669587785`