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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.10.0.767923.tar.gz
Algorithm Hash digest
SHA256 83d17691cfd549bc778e5f293b78db0d476189ca65b0a5dcd7ec9568ea672071
MD5 67961c4117567dd585ca49285c6e5fb5
BLAKE2b-256 2f6f9ebe55ff4885a5b15d5eb947a04666e5bbec9f50526f662306f7a123fd53

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.10.0.767923-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 191903944ee093cb93851d2fe6f7f1498dd8dc861961d8db4438b96e179aafb6
MD5 5a0f8a69d684d952308d788f39deac22
BLAKE2b-256 fd2c359fb8e0200da316b4a7f528e6f9444db8d098ab3ac874ca4e22480960bf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.10.0.767923-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 939b99acd6319c08187f962d200a630431c8abd6b2a9479aad42887cfead79be
MD5 8f5b50ce2f8a7bb40969498c55eaacf2
BLAKE2b-256 32d7c20bf1cfe70b1e28280f3336013bd97d98de1a9d44e741de949cf97a3eae

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.10.0.767923-py3-none-any.whl
Algorithm Hash digest
SHA256 8d3717430b10202e2285100c11cb139d252ffb369422d8715babd531bd5005ba
MD5 19887a218ff27a3dd6eeedfc60b93b09
BLAKE2b-256 919140545631a427516f8ead82e259b0bec1f831e7370a8ec8cd8d8ed0d0d679

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