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

Project links

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

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260715.6.46.85716.tar.gz
Algorithm Hash digest
SHA256 5a5e1f627aecacb33872a7d52284a16094881ac15e85642349672a3ffea0d797
MD5 9cbe4cb7eea20b37cc921c50750df8e9
BLAKE2b-256 ae4792ff1d04703a3fefe2a8c07f31af5a752a5f00e202e7a79249b20db34849

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260715.6.46.85716-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 7725ac187f2fc7ad122072f1888641658f0f9096cc4f0fdaebb29d5538647ff2
MD5 60c2af163bff04b6586af53b900bf9f1
BLAKE2b-256 be2f3ddf62c230dde2698deb86266f086f7cb247f9557fcc0be287d51a152adf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260715.6.46.85716-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 92943048ed137b17179632e5bd4a52d31ed1b6d0f596fd773ceda77553030ca4
MD5 6056d5e5ffe295d33027b5718329e0dc
BLAKE2b-256 6b090f40d43671128a09007501ed11adce51aff23ee45ab2d36e4dea290735b0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl
Algorithm Hash digest
SHA256 ddc0ef667e7985f8bb89a4dd92fe8ca6221e0d379e23e319e32f5c1a93b65454
MD5 75f5ebc573facc56885efa878f5315c1
BLAKE2b-256 eece370691f153d969eac1203cc52c1826b780d48adeee2ef5c9c15b1e8a1177

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