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

Project links

Data verified by PyPI on Aug 20, 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-20260820.18.24.48074.tar.gz (43.4 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-20260820.18.24.48074-py3-none-manylinux_2_28_x86_64.whl (44.3 MB view details)

Uploaded Python 3manylinux: glibc 2.28+ x86-64

certora_cli_alpha_master-20260820.18.24.48074-py3-none-macosx_10_9_universal2.whl (45.0 MB view details)

Uploaded Python 3macOS 10.9+ universal2 (ARM64, x86-64)

certora_cli_alpha_master-20260820.18.24.48074-py3-none-any.whl (43.4 MB view details)

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.18.24.48074.tar.gz
Algorithm Hash digest
SHA256 28638dd857ceb4f3f23cd81b58252ca4dd43ea8a427d5bf055483d9fe4e449ba
MD5 9e64b40642a1d3ae50ab05cffc6d6435
BLAKE2b-256 dcb2e8af52983ead24ea6a3f0520f82fde2d28cf8782c8ce5c59b02329259579

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.18.24.48074-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 227238b1a0ea8b5cc6f54e184e16a307d4b98d9c0db4df0c155365b1f89e8a26
MD5 050638cef68965414e93cfa30d400ced
BLAKE2b-256 af802f05cd838d71d0f09e8c6d46e2319b11801d84ca559016097201a7bdf883

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.18.24.48074-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 4cc0d7e846805cb9ae72120e481f679b706fc98a909f4387d56ef4d82718178b
MD5 4d8635d247650824297962a4a0023877
BLAKE2b-256 62c609ca9df549c4855117657f3b56e3e78c28f85bd94c634b3502b9f83ad31a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260820.18.24.48074-py3-none-any.whl
Algorithm Hash digest
SHA256 6c241531d3144af1e35adc825679c408413c33e027f590da21a3fab2069b1ab4
MD5 a8b8cf7a8e51ab810b2352578886354d
BLAKE2b-256 354530ed9f68462ba4b56c17f28f49023256621726b1f88faec208178a3393ee

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