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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260818.12.31.101880.tar.gz
Algorithm Hash digest
SHA256 b560665f1f7c4bf4809550b7916e8dfed7db58095ad706f6868cdcd0c1701080
MD5 7bb4e36abbe8e4709305041d56c149ac
BLAKE2b-256 4ba5bda1808a5835ef6f1a8db4437c4ce17c0dfed7613ca352eb3c563f3b781e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260818.12.31.101880-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 9058116f5acd3e6c07170fd692a6db2f68d1b8f8c3cd4a62f5a62fc3685fa44f
MD5 82273c8b762aa3dbd88b9fb18fccc398
BLAKE2b-256 ddf3dd0f6ee5df76dee217d25e9e3b682c0943d1a5077a4f0f8fd1653c20320e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260818.12.31.101880-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 5ea763cfd98d0bd816105ceb4cb4e6c98eec5516a1ff5574ea5cd2e9ffcdb1b8
MD5 b9f581b770888dbb30804931ff8212d8
BLAKE2b-256 a780e599ae58ea6790f15ee65ba0d868e29f711cc0da23999685e04694226b41

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260818.12.31.101880-py3-none-any.whl
Algorithm Hash digest
SHA256 c6f3e5f323cd34e5ec5a9f1b2d9c7f0f94b4794a1edd5e10559031b61cb04307
MD5 ed184624a08784ad1ec7b5ce89795020
BLAKE2b-256 3409ae961d85deeafee4d4d4114812e69febedf2408e54b06b34af2c7bc57c39

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