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

Project links

Data verified by PyPI on Oct 15, 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 Oct 15, 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.20.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.20.0
File Size Uploaded
certora_cli-8.20.0.tar.gz 43.4 MB Details

Built distributions (wheels)

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

Total release size: 176.2 MB

Release files / certora_cli-8.20.0.tar.gz

Download URL certora_cli-8.20.0.tar.gz
Size 43.4 MB
Tags Source
SHA-256 checksum
How to use checksums 		38cd04d663d1c89722deadcd5aa58cea7887e62e841f5e33256ed4cea2ad6ddf
BLAKE2b-256 checksum
How to use checksums 		85e67105aeb4233f190d6c091851b8657876cda83e3f9b6e154a1568b2a6e3b0
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/7.0.0 CPython/3.11.17

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

Download URL certora_cli-8.20.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 		720fe0e432678a88d908eea6a3906bfe7652222368d776ab63707c823fc3781a
BLAKE2b-256 checksum
How to use checksums 		1ab6b2f4c3349776defaae4de2acc19b3a36bcf4a0dce1b997eae3853eb7b4eb
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/7.0.0 CPython/3.11.17

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

Download URL certora_cli-8.20.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 		3acc58be3fb8ce99eb13414cbf1852e22c2ce15023243cdb192ebb36f5232dfd
BLAKE2b-256 checksum
How to use checksums 		4c91ff3cf57ca4dcb84360c99f4eb653761b0587fd88688d9c7fc3d9efe0a9c9
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/7.0.0 CPython/3.11.17

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

Download URL certora_cli-8.20.0-py3-none-any.whl
Size 43.5 MB
Tags Python 3
SHA-256 checksum
How to use checksums 		cabf1f1303f95e7f3fd277f65ad3e6222dfc40f914decf74be0dfca2107197e4
BLAKE2b-256 checksum
How to use checksums 		f24cfb2e5921f47bd5c305253ac4958a77532912d8d202181d7610e7e6450ebe
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/7.0.0 CPython/3.11.17

Release history Release notifications | RSS feed

This release

8.20.0 This release

4 release files

8.19.2

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