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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260730.18.17.393057.tar.gz
Algorithm Hash digest
SHA256 4aec7cda9e2d9a135a66b9bb6e193889ab1c7c9164b3fcf958b40d2ea4915e5a
MD5 11e644b23f2684f4d57ffe7221757802
BLAKE2b-256 bb8010dcb85085ea0487e4226c06a6aedfc300275e7c1f3504ba1928fcc971f0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260730.18.17.393057-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 6a2c481ddfb5fe67463ca90bee9bbb067684b182565ab91d2a6298f8404efeda
MD5 1bf93f129de958e28a3963efc304317b
BLAKE2b-256 f1bd577141cdd7308a7418266c811137a85d45aaf8830cd184d93c38315471b3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260730.18.17.393057-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 ab8669dfcba10558270ae48c43303201b3588633a4914aa83b62796a1a2e707b
MD5 2267703493701ebadc4d3627edabaf6f
BLAKE2b-256 b9d771824819bac0b3b651e03c56bcdf3898e39c12eb31206a8db521e57a397e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl
Algorithm Hash digest
SHA256 84a759b3fb4c4bb32bdced11c07ad57de091ef24762ab3f160f1e109e10ce1c1
MD5 3e67cc26c02419a2756a06f37b1afc79
BLAKE2b-256 9d08cbf1099db6f86e5504481c54e5c370a9fe0f873e5d0deca7c822a862c49d

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