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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260806.11.36.29851.tar.gz
Algorithm Hash digest
SHA256 739659a2b85a2b7ee630bc029f09714ac847a31abdf31bc368e50f2fb63c3c5d
MD5 d12952ab31fcd701d54d136fe3950c4e
BLAKE2b-256 e31ab2777af803bab1bb935d797be3281401cc962326b7e954b88684df187827

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260806.11.36.29851-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 b8154ab0a6efd07384582c5241fed7cb4a3ceb2a33521683e99be2a62440a05c
MD5 8e2442974381410f20b910ec541a2b8f
BLAKE2b-256 465cf1a38ba710a296def3f79623674d72c3593f1a26685593d3207a6cc864e4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260806.11.36.29851-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 8e57def93c22120deb4e54d3f91f0866298a90962b9ebc214ae4ca8503b08af1
MD5 5cce7587dd5f293cf97880a7b2e246ec
BLAKE2b-256 8e307fafe5ce2a739c2613cb21cd004e834aca6ea8c7fff4a90fbf242af01346

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260806.11.36.29851-py3-none-any.whl
Algorithm Hash digest
SHA256 892d4b33ade7a7ee1199554f2d12a136936310ac64aa63fddaa95c806dbb9b7e
MD5 f5c095355f1b23280f321383ac35386a
BLAKE2b-256 461833257acaba7e7b95b4af0800c850a9bbc0b9af54277a5b3aa4da9da67683

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