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

Project links

Data verified by PyPI on Aug 20, 2026
Data provided by the project maintainers, verified at the time the release was uploaded to PyPI.

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (20260821.10.3.876041)

2 maintainers

PyPI data
Data sourced directly from PyPI's database.
Avatar for certora from gravatar.com certora Avatar for shellyg from gravatar.com shellyg

Credits

Author: Certora

License

GNU General Public License v3 (GPLv3) (GPL-3.0-only)

Requires

Python >=3.9

Classifiers

Report project as malware

Download files

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

Source Distribution

certora_cli_alpha_master-20260820.9.30.263849.tar.gz (43.3 MB view details)

Uploaded Source

Built Distributions

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

certora_cli_alpha_master-20260820.9.30.263849-py3-none-manylinux_2_28_x86_64.whl (44.2 MB view details)

Uploaded Python 3manylinux: glibc 2.28+ x86-64

certora_cli_alpha_master-20260820.9.30.263849-py3-none-macosx_10_9_universal2.whl (44.9 MB view details)

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

certora_cli_alpha_master-20260820.9.30.263849-py3-none-any.whl (43.4 MB view details)

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.9.30.263849.tar.gz
Algorithm Hash digest
SHA256 9294f0d46d9f08fe6c7e2b02273e94bd07ac7342c9089971457c659408eea213
MD5 b2be347db3b5e81a662f8baf2b0a1da4
BLAKE2b-256 d146385f02655994cc370578eca8b9580370ce08821207e9507733d08475b5d3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.9.30.263849-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 dd63e83c1727b0b178ea02fcc8b89a8c04f5388d4b0d134f6e2e0d01098f3ecb
MD5 4054f949ff464d8917f4a16ab5d19645
BLAKE2b-256 dc7d6a3b8e93c368f1b21f50a6bb290aecaf9c991adf261b98e1cc8f7c0e24a8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.9.30.263849-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 fd9800300cb9f0ea68d918a61dce5018463f1293281d4e5936387538b1b79328
MD5 7fff15d39bc0082b31f8d84b76e88b8a
BLAKE2b-256 83d5d5bdd4bf7629c82b5181a6a271bc09680bb8a89faa82272887cb701f06df

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.9.30.263849-py3-none-any.whl
Algorithm Hash digest
SHA256 7bae0c73598448de79a12305e11701ab1483e1d076824d25a3d66c1e62488eb2
MD5 a8e27df61ecd6236bd1a48e4fb6f108a
BLAKE2b-256 3a2bda34fe15896139a340b1b87945968cc8fa6d549a105628020249b6ca648a

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page