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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260812.14.52.259366.tar.gz
Algorithm Hash digest
SHA256 c31968ba5deb0aee016fb3f7e10291d0109e1936073b06aa9c8ae22803e812b6
MD5 c2db5541673104d37ebd9ec4cd6737d6
BLAKE2b-256 f403911b0ab5a64ddaa920b3c9d486e578d365db2f587d090dac1062a2e5ea9f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260812.14.52.259366-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 35f50421d473826f2c160c914a261160e861ca9cdcb2158dcfe6bf57e2302c1c
MD5 b15191f5439e3728142192f19933672e
BLAKE2b-256 72c5468806aaf052ecc80c6962fc322a24d8cd30f142e7d6f08ab57e7f0cca0f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260812.14.52.259366-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 5822f757b2e9eca27cdee239286edc9aa9dc28297b492a8ff71484b22c41e03b
MD5 2d94ef6173ce2c7aaae2f2b5616aa893
BLAKE2b-256 25af9a7e86d90c62ea3b83f5e850cf33ebbd03b3545cfc6f57b42eff58aa6f1a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl
Algorithm Hash digest
SHA256 21b7215f919c42b0d7497b6ee2965c572596f067d156039a89f16ff10e0c3689
MD5 f64c06f5d0c3f4234ffa274b8fa842d9
BLAKE2b-256 25c1e4d051f4eb484b173ee83443d54592e2eecc6275d2c640abd247b9a3005e

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