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

Metadata

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

Release files for certora-cli 8.19.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for certora-cli 8.19.0
File Size Uploaded
certora_cli-8.19.0.tar.gz 43.4 MB Details

Built distributions (wheels)

Table of built distributions (wheels) for certora-cli 8.19.0
File Interpreter ABI Platform
certora_cli-8.19.0-py3-none-manylinux_2_28_x86_64.whl 44.3 MB Python 3 none Linux glibc 2.28+ x86-64 Details
certora_cli-8.19.0-py3-none-macosx_10_9_universal2.whl 45.0 MB Python 3 none macOS 10.9+ universal2 (ARM64, x86-64) Details
certora_cli-8.19.0-py3-none-any.whl 43.4 MB Python 3 none any Details

Total release size: 176.1 MB

Release files / certora_cli-8.19.0.tar.gz

Download URL certora_cli-8.19.0.tar.gz
Size 43.4 MB
Tags Source
SHA-256 checksum
How to use checksums 		df4e337b3e40f7d914dcf9dfa43f0a13e0123c466fba3e60d1a7afb8fea07dc6
BLAKE2b-256 checksum
How to use checksums 		8882064f4ffafa9e7238775b895575ce63ad1587a8f011c7e4e4eca4cfafa242
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/7.0.0 CPython/3.11.16

Release files / certora_cli-8.19.0-py3-none-manylinux_2_28_x86_64.whl

Download URL certora_cli-8.19.0-py3-none-manylinux_2_28_x86_64.whl
Size 44.3 MB
Tags Linux glibc 2.28+ x86-64 Python 3
SHA-256 checksum
How to use checksums 		e7cc6803cd551bcf1b5de4d3aada5d05ba8027f337b6a13b1e2699bf65d25406
BLAKE2b-256 checksum
How to use checksums 		b86b9a68cc9bfb87cedb0ffa721ab7acfb7cf2df2850a2ae2fe68b6c6ced6ae3
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/7.0.0 CPython/3.11.16

Release files / certora_cli-8.19.0-py3-none-macosx_10_9_universal2.whl

Download URL certora_cli-8.19.0-py3-none-macosx_10_9_universal2.whl
Size 45.0 MB
Tags Python 3 macOS 10.9+ universal2 (ARM64, x86-64)
SHA-256 checksum
How to use checksums 		8c6e57e973f9f442e2011620bb426e7006eb7a0c8f98bfed53ed702ea4581c88
BLAKE2b-256 checksum
How to use checksums 		90e2a446c53e2e492958a84544a67c30937c7b0393aa46aea78f6c31336c342d
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/7.0.0 CPython/3.11.16

Release files / certora_cli-8.19.0-py3-none-any.whl

Download URL certora_cli-8.19.0-py3-none-any.whl
Size 43.4 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		04bc7116763036d61cb356c64035e495b2b205c25a174f160f97f0463e43be21
BLAKE2b-256 checksum
How to use checksums 		0bec3711b10c1cf43492d74afe3e8c55229b902de1052a85e0563a952c890de8
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/7.0.0 CPython/3.11.16

Release history Release notifications | RSS feed

8.19.2

4 release files

8.19.1

4 release files

This release

8.19.0 This release

4 release files

8.18.0

4 release files

8.17.1

4 release files

8.16.2

4 release files

8.16.1

4 release files

8.13.1

4 release files

8.13.0

4 release files

8.11.3

4 release files

8.8.1

4 release files

8.8.0

4 release files

8.6.4

4 release files

8.6.3

4 release files

8.6.1

4 release files

8.5.1

4 release files

8.3.1

4 release files

8.3.0

4 release files

8.1.1

4 release files

8.1.0

4 release files

7.31.2

4 release files

7.31.1

4 release files

7.31.0

4 release files

7.29.3

4 release files

7.29.2

4 release files

7.29.1

4 release files

7.28.0

4 release files

7.26.0

4 release files

7.25.3

4 release files

7.25.2

4 release files

7.22.3

4 release files

7.22.2

4 release files

7.21.1

4 release files

7.20.3

4 release files

7.20.1

4 release files

7.17.2

4 release files

7.14.3

4 release files

7.14.2

4 release files

7.10.2

4 release files

7.10.1

4 release files

7.6.3

4 release files

7.3.0

4 release files

7.0.7

4 release files

6.3.1

4 release files

6.1.4

4 release files

6.1.3

4 release files

5.0.5

4 release files

4.13.1

4 release files

4.12.1

4 release files

4.10.1

4 release files

4.8.0

4 release files

4.5.1

4 release files

4.3.1

2 release files

4.0.6

2 release files

3.6.8.post3

2 release files

Yanked

3.6.8.post2

2 release files

Yanked reason: subsumed by 3.6.8.post3

3.6.8

2 release files

Yanked

3.6.6

2 release files

3.6.5

2 release files

3.6.4

2 release files

3.6.3

2 release files

3.6.2

2 release files

3.6.1

2 release files

Yanked

3.6.0

2 release files

3.5.0

2 release files

3.4.3

2 release files

3.4.2

2 release files

3.4.0

2 release files

3.3.6

2 release files

3.3.5

2 release files

3.3.2

2 release files

3.3.1

2 release files

3.3.0

2 release files

3.2.0

2 release files

3.1.0

2 release files

3.0.0

2 release files

2.13.2

2 release files

2.13.1

2 release files

2.12.0

2 release files

2.11.3

2 release files

2.11.2

2 release files

2.11.0

2 release files

2.10.0

2 release files

2.9.2

2 release files

2.9.1

2 release files

2.9.0

2 release files

2.8.1

2 release files

2.8.0

2 release files

2.7.2

2 release files

2.7.1

2 release files

2.6.2

2 release files

2.6.1

2 release files

2.6.0

2 release files

2.5.4

2 release files

2.5.3

2 release files

2.5.2

2 release files

2.5.1

2 release files

2.5.0

2 release files

2.4.9

2 release files

2.4.8

2 release files

2.4.7

2 release files

2.4.2

2 release files

2.3.1

2 release files

2.2.1

2 release files

2.2.0

2 release files

2.1.1

2 release files

2.1.0

2 release files

2.0.2

2 release files

2.0.1

2 release files

2.0.0

2 release files

1.0.16

2 release files

1.0.15

2 release files

1.0.14

2 release files

1.0.12

2 release files

1.0.0

2 release files

0.2.1

2 release files

0.2.0

2 release files

0.1.1

1 release file

0.1.0

2 release 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