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

Project links

Data verified by PyPI on Aug 4, 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-20260804.10.28.546456.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-20260804.10.28.546456-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-20260804.10.28.546456-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-20260804.10.28.546456-py3-none-any.whl (43.4 MB view details)

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260804.10.28.546456.tar.gz
Algorithm Hash digest
SHA256 9a166d2ce1312040df878c27f20187614f8c52ee2161d32a4a545ce9e94b4c2f
MD5 ca2e1886a8d937f647cda5a644c025cc
BLAKE2b-256 b1f66b3ce89371be9e08cc25f2f1bd8d876b9171e1b9637661ed9af13cf41cca

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260804.10.28.546456-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4b853ac244372ec14a7e5ad686f7a3df656f2a5d8a0c285f7cb88f3ea5358687
MD5 196b44d0d514da4da48e367581ab1dc6
BLAKE2b-256 0e007a550451a35f3f03c7ffdf4ac32ccd6ce7838c1f7b124f1c6005f9453ffd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260804.10.28.546456-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 f2d786c9eedf6c8718ddfd22ade10124ff0dacd3e30ce755dd849fdeeedbda8c
MD5 5a8657ef3aad9636b9663bf0f8ac43ae
BLAKE2b-256 4154a6cae8a0236b53ed9b00635d766b137c67df01d75cc2f3fd248a90cb1518

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl
Algorithm Hash digest
SHA256 4095c0888364f8350f373c57eb8043f92575985c0d696c5badb8e3bc6fd587e3
MD5 05e0a0ed15e7887799061449ad412d34
BLAKE2b-256 653cc5634adaac65fc984390185aa52d2223001807c16a5725bc151c1f9e3e44

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