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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260716.14.2.9049.tar.gz
Algorithm Hash digest
SHA256 67c26fa9ab51dd6b74f32275a28149198a6408ccda157ab0c93a7ea5e32c33c0
MD5 16eca53d8ccc89d71fbaf494577056a3
BLAKE2b-256 5e0ab2484aa492b0492bc45ed98094857e26555f7a1a5be5f715d130a313b065

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260716.14.2.9049-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 194e77d2616586f98ba2ee507cb202735bfc017f3903ebc2645022fbc9a3c200
MD5 9e9ec25d0c2d5071f0e3652f1050a0b9
BLAKE2b-256 821eaf7142fb33494e3102f45cb6fff8991edb2872ee01b652ba4049e8265e5f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260716.14.2.9049-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 78d1f7654957626edc7bdbc7003e1d745e3b62610b4a537a0cc485ffd845cfd4
MD5 99bf122e727b8b4cd0be9efdde02cb7c
BLAKE2b-256 3e012ff3d9c3b78d1b4b8fad28cfc851090ade9dc2731eed928510b99af2d563

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl
Algorithm Hash digest
SHA256 a372e66445abcbd74b1bd2f25e317530a5e3f8f1ef5a743fa2fe9dec011d3fc0
MD5 d36df17bc89a42f49a1e6ec94de7da7d
BLAKE2b-256 9c37aaf262dff00ea9dd996478497cb630d05f32168994c54594ad1ecdb30fb6

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