Commit 08f2ab1. 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.16.10.394573.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-20260819.16.10.394573-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.16.10.394573-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.16.10.394573-py3-none-any.whl (43.4 MB view details)

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.16.10.394573.tar.gz
Algorithm Hash digest
SHA256 1fe348758a8e21061aa6826b454eb03d7b2073b60a9ccaffc6bab70c5dbcc166
MD5 a981d769de197d853f8f75aa3a42f92f
BLAKE2b-256 7f4e06f9d5892dde2ed334e890c79fd5b794ed6102c6f926b74bc98320b12138

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.16.10.394573-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e63d6c8ab468dff630c7eb430e083534766cb700c31f4bd64f76b80f718e61b9
MD5 6f563056715bc01317dbeefd5f2b4817
BLAKE2b-256 646db3279a806131abfefbf27fdc15c971888cbe6e9765cb6382677d86fd6163

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.16.10.394573-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 51cd4b98c698d23142637f23ded6113a0a30c5eb37dc9db44b1b32c26be298f2
MD5 d2c23a1cf7059cf8d6ac7c39aa08c9ed
BLAKE2b-256 2a87a0ec1415dd3eb365e2dbf91a82c01e7596b95e018cbba23fe49f4b25b088

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.16.10.394573-py3-none-any.whl
Algorithm Hash digest
SHA256 d9f288b595cd8085fe88f6a84416f32c1a2d8c1e381f2c1074cf0d606e900eaa
MD5 ac8f8cd60083808c45b3ae20df264118
BLAKE2b-256 b9c02f2b908629f7de92aecf3a5d1bce7e3f51b193dc76c7929b7f308a39ca39

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