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

Project links

Data verified by PyPI on Aug 28, 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 (8.19.2)

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.1.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.1-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.1-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.1-py3-none-any.whl (43.5 MB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: certora_cli_beta-8.19.1.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.1.tar.gz
Algorithm Hash digest
SHA256 077c3a5286e3021d100d2cd769b9f19c3e178f7b5bb280cb5f4824c51bbe1958
MD5 71f59cfaa0191ce840874e4efcf23d2a
BLAKE2b-256 30fb12482f9e4e8e0416a6a08065b3976825b55151ca9e9a9c9bec870f6a9b01

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_beta-8.19.1-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 3cd8e41f07a06cbd17b393c7607785411bd7bc1863f79269c0de18bc94176034
MD5 5b454a89f41947a117fae722cb6cfbfb
BLAKE2b-256 14a1b3658b55d3b30ce90aff135c168a747e2bfb3e0a50a383d75214a16e4362

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_beta-8.19.1-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 7a2a5af1882b40a94a82dfcbb8233a1fd0623bc4fa335abc2692a882c83d554e
MD5 0404cef92a4e7138e4c087c72b0d04b4
BLAKE2b-256 bf60398d13c13c089833c36065cc571a1826daad81306f1c50f97ea1322e4969

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_beta-8.19.1-py3-none-any.whl
Algorithm Hash digest
SHA256 ea255a46b4128e65d4d1fa300b15bf3bff65c0fe041e521f58a66296109585aa
MD5 46a56eaf5a99feb546fb6b2df86957e4
BLAKE2b-256 335476aa53bbc6a6166ebf6aecd91dd950ed9f81b1332db15c9dfa7fde1af4a3

See more details on using hashes here.

Release history Release notifications | RSS feed

8.19.2

4 files

This release

8.19.1 This release

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