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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260729.17.57.786085.tar.gz
Algorithm Hash digest
SHA256 8a3dd3e98940fde685e79afabaf08bc8f3bbf71bccc3b8fb1726106292a87d57
MD5 1f919ab062ae1e4f28d77684058e1f6a
BLAKE2b-256 a49c96728191b076f26887ff27a27fc12912d0ecd8e25db13529af25477a9e74

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260729.17.57.786085-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 834d170b37c9125bf0f6aa2226e98027649cc7bc9115f31927f5bd136e4b8f32
MD5 0a81cd4675a808b3246efdb1bf135b7a
BLAKE2b-256 b9f0be9a77032b0a9df8fa6fbf48e5edb4ac13d5f3ff1ebcb9cacdad438d1b5c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260729.17.57.786085-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 925c2da637be06bd3658dc5bd065394cbe3adb8c6ca8dc0a16cf0ac53211d1b3
MD5 ed60de28e91b891f8bcf68fa4c727e3b
BLAKE2b-256 213697f04bca887e2e13b065177ee5a2b8d6d47f1ed73de909b5e9038f3529ad

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl
Algorithm Hash digest
SHA256 6f7dc17155f0dcd64bd9ceb268504b4bc48dc9179fc22a8cb85388451a27cbdb
MD5 f7753445ff7910b04709dd70ef01210f
BLAKE2b-256 6a094e939ee69cb46db031bb269a97b64063597ac9d34889d20d4a303462027b

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