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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260722.7.0.82332.tar.gz
Algorithm Hash digest
SHA256 8bb5eec5da0b6f1f6410e583d30a359f06193be1a2800972b98cb6b1da97712f
MD5 679f39ec87bae88b6b89043a7c64d1ac
BLAKE2b-256 78708b27fdc16da2c03ed27db2606e70eae88a5fa8e6560d8a43bbecadec2bf5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260722.7.0.82332-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a018b002d4c1913e104aec9e8bfa7cef31e8140e9af405cbef19660866d05d2d
MD5 494067e763cd6879adae106e0c394318
BLAKE2b-256 07362b93ed34023c456ab2634299f4fbdd14cdecc10a9d06c0593c09f57b230c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260722.7.0.82332-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 6287d009a0cd9b218cbdcf8855eff53d7e64840902f4e48ca09f0f454ee25373
MD5 c835ff67a9b9775f0352e4b6043dd537
BLAKE2b-256 4d97ab10bc0d9a5d3369fe158558e784709f00670b83b333ddcc7619ffc615ef

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl
Algorithm Hash digest
SHA256 75d3de617a83db13fda19b23822e9bee3e57bccc3f496c72bb6f424d92180f95
MD5 ff184d0ba206adac6a8ae36df98da575
BLAKE2b-256 c8b23247bb6071cf9310ce04a6511ef8611fba688df70aa9b30bc070a138206e

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