Commit 1aea05d. 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.16.44.86540.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.16.44.86540-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.16.44.86540-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.16.44.86540-py3-none-any.whl (43.4 MB view details)

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260812.16.44.86540.tar.gz
Algorithm Hash digest
SHA256 5706fd21eb57e8f195e69cc62dc1da2ab2cec02605164b943fc08299ca2fa604
MD5 63b7acac05838f95abd680d5536c72fb
BLAKE2b-256 b0138c31b49e1e78ade6ab49944f43047ef6eeb311a410f0a22975162a0a0dce

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260812.16.44.86540-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 3019736dcd2670e89ced43a32a634179d05168a6b5b781ba3a346a041d77099e
MD5 9b8aa0668a8a3a864135ae20a7d5f9f4
BLAKE2b-256 46293a76f9b8861eb78f42d142958a6ecfcc536aab72cd8a4a9521a977197c60

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260812.16.44.86540-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 eba849f20fe802998701c20fe8cd49b1adf621b9e7ef6be4e94268eb4d9ce2d4
MD5 3417d1f9bbedb90d8a9fcec7e4db7aac
BLAKE2b-256 6e9356b8682c47c11b33901adf1359cd4148d3fac6abea61174c1033de599579

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260812.16.44.86540-py3-none-any.whl
Algorithm Hash digest
SHA256 07297336befe8bfcb7b6cac96d2a963ca4a15e8b2c968c44719a1d9c58ced121
MD5 72dc666dbf28f187492a6401b4ea1dff
BLAKE2b-256 b56ae12b0a4a2c3409e9fb5f61c558012f655b679a759d0512f8d16c11009948

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