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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260715.7.22.20117.tar.gz
Algorithm Hash digest
SHA256 ecf4f4a33a46f63352fe6974fd6a92c2ea36d129443943365aa8995aaaf9c1f4
MD5 bbc8043fa05f988142f3d453184b7586
BLAKE2b-256 6c640d21f6742adacc20e896f4980569e5fae72049296df8a1d69c40c4f137f5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260715.7.22.20117-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 ad12f78b1a6d181ebefb8b8c1a98dfcc7907d06a9aa93a783915a89ce669d8bb
MD5 03349b71248ef6cca9c2ae50c12d87c4
BLAKE2b-256 79bcbab92aa4406caf5b774475f5dd02d30f9d04ec3be03c00122c7540f1813f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260715.7.22.20117-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 bee683976230094cba6a800385cb57bb9a7b7ec9ee068f27305b52039f5983a1
MD5 cc3071e3fbae87f655f2c0799532ff64
BLAKE2b-256 3fb42e74e85acaa011eef6259fe7644b482003f1e5be34fd4d4a694666c6d144

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl
Algorithm Hash digest
SHA256 ace8887e24cf3d4b785b87bb8500b84d6909a4974fbf8916bacd4336338a0915
MD5 1e0bb01ab166b0bbb61255b6501162db
BLAKE2b-256 4f6b2569a8f1d82cbcd3038c545f25c800141369995d7995f551d7133b217568

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