Commit 0c07bbf. 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.19.2.655052.tar.gz (43.4 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.19.2.655052-py3-none-manylinux_2_28_x86_64.whl (44.3 MB view details)

Uploaded Python 3manylinux: glibc 2.28+ x86-64

certora_cli_alpha_master-20260820.19.2.655052-py3-none-macosx_10_9_universal2.whl (45.0 MB view details)

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

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.19.2.655052.tar.gz
Algorithm Hash digest
SHA256 e19f99a7813fe009de287319e1d0993699b4c524eda0e3e6bfc4ad9cf215cf72
MD5 eaca75c5472ec1c70b07ceb01cdf90e6
BLAKE2b-256 0fabfd10b325f677e02852e6bb373c4a6b7970d951674663baac23e0b150f109

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.19.2.655052-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5373d14144649681140a8b22a1b4191a38fe11bb99537b8c371c95f30ebd79b6
MD5 2607a2042f2ff772afeb93e2ad14278b
BLAKE2b-256 67bf030d9b94be67342a47ec9736b62684ca0b8631c68cad7521af0de59247f6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.19.2.655052-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 ea7036e229a4a6e0bb92ba6f495b1cf80fd7ee46b604e50c8555862031c41590
MD5 d85d6a30f9f6891d6a969cc57fa26815
BLAKE2b-256 b5639cfa9a728893be399373dc2cd22bb03d1b9fc73a926470aa066f9c9d4f1e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.19.2.655052-py3-none-any.whl
Algorithm Hash digest
SHA256 6d5058c741ac0316b92da39d5271b5d948faa35e18ca9fd37310d2554d0e6d7c
MD5 ffb8d05a53d9ff3edefd540608ccab10
BLAKE2b-256 50b4a2bdb15afa9e361bdd78261e7b20912e1df8375dd7aaaba8906ce7b83e39

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