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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260810.10.57.307572.tar.gz
Algorithm Hash digest
SHA256 01b3aba5ea51d4e8b602b31c6a18d3779dfabecea6de6923bc749b30ae43900b
MD5 b9370f2453146d7a59884f36d9916ed4
BLAKE2b-256 a8358abb2884d5f5d6ae1e3971a93bb6d520c89ccba22dc46faf767385ab12e3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260810.10.57.307572-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4fd140911e7a59cf4af7f23c80f9f8b35692414d367241d115f43af2bce6772c
MD5 f462a3bb36b064065dc454430a2a2b0a
BLAKE2b-256 2cd8f9e477101a9734553622afdc6cb171bcb0ee756530982ca385fffeda5076

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260810.10.57.307572-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 fe107f8913878a3ee20bca54126131830653cb26e3ca60c3e88efa379ab4f4c3
MD5 88aa25c55e3f60ef71a065b33782bc69
BLAKE2b-256 c46bc83bbd22156eaa8fa9e9ec3c6c2b67a378aedca0915ace826e8a4cf70691

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl
Algorithm Hash digest
SHA256 4dfe223e518b636ee93c4757c568f5fa4c15506d2709b67449c71f5a0b9ba951
MD5 2cc280ee2460b62f899845662495bd03
BLAKE2b-256 c46090ae1c929b0ef960a3aade872739d9f51f10daebeae09f1b7dab01336620

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