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

Metadata

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

Release files for certora-cli 8.19.2

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.2
File Size Uploaded
certora_cli-8.19.2.tar.gz 43.4 MB Details

Built distributions (wheels)

Table of built distributions (wheels) for certora-cli 8.19.2
File Interpreter ABI Platform
certora_cli-8.19.2-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.2-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.2-py3-none-any.whl 43.5 MB Python 3 none any Details

Total release size: 176.1 MB

Release files / certora_cli-8.19.2.tar.gz

Download URL certora_cli-8.19.2.tar.gz
Size 43.4 MB
Tags Source
SHA-256 checksum
How to use checksums 		d20f2968f2561c4456ccb41fb8fd55e123664739f3e23db456c11db5767b62f3
BLAKE2b-256 checksum
How to use checksums 		6a3fb8b859ab13cd0f36cbe843450dc2c7893d63513f307bd88197223a6cc537
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.2-py3-none-manylinux_2_28_x86_64.whl

Download URL certora_cli-8.19.2-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 		ad862ef09f8b7bc5bb97b14beddda184ed5b46fdd8c9a8bfd4293bef603cfdad
BLAKE2b-256 checksum
How to use checksums 		1510ca7d5417b9ca6b5590d316aa34e8ac24f24e899018fec70181b0234c6fe1
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.2-py3-none-macosx_10_9_universal2.whl

Download URL certora_cli-8.19.2-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 		0bd11767e0983d85ea63fda744a9a13f05bf569d8ec121e4866bfc56239b1c04
BLAKE2b-256 checksum
How to use checksums 		f255a5a65314a6a4ba3bcd9e0d7fef68765c7e830edf75e4dea0ca02cdb09c8d
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.2-py3-none-any.whl

Download URL certora_cli-8.19.2-py3-none-any.whl
Size 43.5 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		a2a58dffbce01b255e7538f39f9574b6309978b482d92f810361b0851cd10a11
BLAKE2b-256 checksum
How to use checksums 		dabe67321e93b52b631598bdc6dcce0f575ec39ccaabd1c185dc72c19e4b01b5
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

This release

8.19.2 This release

4 release files

8.19.1

4 release files

8.19.0

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