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

Project links

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

Uploaded Python 3

File details

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

File metadata

  • Download URL: certora_cli_beta-8.19.0.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.0.tar.gz
Algorithm Hash digest
SHA256 0bfde575402f9e281c97d1a33a867f32a60005cd3295ee5701823f54c6c17e43
MD5 2cd7e5191764d9346105f5e564429d7f
BLAKE2b-256 37cc598ca0a85f3714dd44dcbc4e26f6b6d90a16a5beefaff71047801ea1e35c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_beta-8.19.0-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 32ca52ce19b6f9d819b22e326911d68bb5445d5e41c113be549ca5d79efb91ea
MD5 11aef3e9df2f1341a0f03d2e86097bf3
BLAKE2b-256 ab9c9e6ba6790960521807a17969a45c54276b6eb908d6a521eafacb60d153ad

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_beta-8.19.0-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 dbf51d1ccb4ab84f7f43573d07ae1f92f587e911dda91a35b352533716ef0a62
MD5 6c1af2161ccf90de7604dc1ee6d44ec1
BLAKE2b-256 fb079691446d22db23cc516c02f96384cc886ceec3a9c21d4b8bcbfd7fe5af9a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_beta-8.19.0-py3-none-any.whl
Algorithm Hash digest
SHA256 f5eaccc98c895f3438bc28e87df4b50cacf2832208d71a42cec61317cd6f61b9
MD5 7d785a1d845555f9a998ecaced38d9d4
BLAKE2b-256 39f9d5f55d48f9ea02bb3294de0acb182612049e7f3d6ddf9ac99a3e7cc64938

See more details on using hashes here.

Release history Release notifications | RSS feed

8.19.2

4 files

8.19.1

4 files

This release

8.19.0 This release

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