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

Project links

Data verified by PyPI on Sep 7, 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:
Latest release

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_beta-8.19.2.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_beta-8.19.2-py3-none-manylinux_2_28_x86_64.whl (44.3 MB view details)

Uploaded Python 3manylinux: glibc 2.28+ x86-64

certora_cli_beta-8.19.2-py3-none-macosx_10_9_universal2.whl (45.0 MB view details)

Uploaded Python 3macOS 10.9+ universal2 (ARM64, x86-64)

certora_cli_beta-8.19.2-py3-none-any.whl (43.5 MB view details)

Uploaded Python 3

File details

Details for the file certora_cli_beta-8.19.2.tar.gz.

File metadata

  • Download URL: certora_cli_beta-8.19.2.tar.gz
  • Upload date:
  • Size: 43.4 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/7.0.0 CPython/3.11.16

File hashes

Hashes for certora_cli_beta-8.19.2.tar.gz
Algorithm Hash digest
SHA256 8165566d8d23db274fdfc8f56f4fe9937e8e84d14f32cd2975d7ee9125579db1
MD5 8c46976348daa10a1568a0396112a69e
BLAKE2b-256 edca0273064814641be771f04477057fb939e1643028165f1179faaa945ba9be

See more details on using hashes here.

File details

Details for the file certora_cli_beta-8.19.2-py3-none-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for certora_cli_beta-8.19.2-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 6c995818fbd7abc9e7a8ead9b73357204ef8eeffa77ec6ad36c32b5a0bb32090
MD5 8f66699e0371bfefdf13506c41b66a24
BLAKE2b-256 cc2e609f0546f92b5d6b43f13d15ffed514ca06ec17a2f9a521670581ec24870

See more details on using hashes here.

File details

Details for the file certora_cli_beta-8.19.2-py3-none-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for certora_cli_beta-8.19.2-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 484d3955fd1fa9677720e1b271f45f6b339004c10ce86cc96b0d2c94bde162df
MD5 35528470db8c9c7ca6971f12665010c3
BLAKE2b-256 562719a86dec6c92c909b887fdc3b2e0d5ce64501a786cbef3770b9f4b64f1bc

See more details on using hashes here.

File details

Details for the file certora_cli_beta-8.19.2-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_beta-8.19.2-py3-none-any.whl
Algorithm Hash digest
SHA256 48371851a19a713ff5205120413e11362093ab5abe3e3ea7c7eacada1c21e25d
MD5 ed47b273f55d644c3a1054bca6e7a4d2
BLAKE2b-256 7b333d415f0bb00dbcf8c75d541f42f808bc69c2d928e800e807cd30ed17e9fb

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

8.19.2 This release

4 files

8.19.1

4 files

8.19.0

4 files

8.18.0

4 files

8.17.1

4 files

8.17.0

4 files

8.16.2

4 files

8.16.1

4 files

8.16.0

4 files

8.15.0

4 files

8.14.0

4 files

8.13.1

4 files

8.13.0

4 files

8.12.0

4 files

8.11.3

4 files

8.11.2

4 files

8.11.1

4 files

8.11.0

4 files

8.10.1

4 files

8.10.0

4 files

8.9.0

4 files

8.8.1

4 files

8.8.0

4 files

8.7.0

4 files

8.6.4

4 files

8.6.3

4 files

8.6.2

4 files

8.6.1

4 files

8.6.0

4 files

8.5.1

4 files

8.5.0

4 files

8.4.4

4 files

Yanked

8.4.3

1 file

8.4.2

4 files

8.4.1

4 files

8.4.0

4 files

8.3.1

4 files

8.3.0

4 files

8.2.3

4 files

8.2.2

4 files

8.2.1

4 files

8.2.0

4 files

8.1.1

4 files

8.1.0

4 files

8.0.0

4 files

7.31.2

4 files

7.31.1

4 files

7.31.0

4 files

7.30.1

4 files

7.30.0

4 files

7.29.3

4 files

7.29.2

4 files

7.29.1

4 files

7.29.0

4 files

7.28.0

4 files

7.27.1

4 files

7.27.0

4 files

7.26.0

4 files

7.25.4

4 files

7.25.3

4 files

7.25.2

4 files

7.25.1

4 files

7.25.0

4 files

7.24.0

4 files

7.23.0

4 files

7.22.3

4 files

7.22.2

4 files

7.22.1

4 files

7.22.0

4 files

7.21.1

4 files

7.21.0

4 files

7.20.3

4 files

7.20.2

4 files

7.20.1

4 files

7.20.0

4 files

7.19.0

4 files

7.18.2

4 files

7.18.1

4 files

7.18.0

4 files

7.17.2

4 files

7.17.1

4 files

7.17.0

4 files

7.16.0

4 files

7.15.0

4 files

7.14.3

4 files

7.14.2

4 files

7.14.1

4 files

7.14.0

4 files

7.13.1

4 files

7.12.1

4 files

7.12.0

4 files

7.11.1

4 files

7.11.0

4 files

7.10.2

4 files

7.10.1

4 files

7.10.0

4 files

7.9.0

4 files

7.8.0

4 files

7.7.0

4 files

7.6.3

4 files

7.6.2

4 files

7.6.1

4 files

7.6.0

4 files

7.5.0

4 files

7.4.0

4 files

7.3.0

4 files

7.2.1

4 files

7.2.0

4 files

7.1.0

4 files

7.0.8

4 files

7.0.7

4 files

7.0.6

4 files

7.0.5

4 files

7.0.4

4 files

7.0.3

4 files

7.0.2

4 files

7.0.1

4 files

7.0.0

4 files

6.4.0

4 files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page