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

Metadata

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

Release files for certora-cli 8.19.1

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

Built distributions (wheels)

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

Total release size: 176.1 MB

Release files / certora_cli-8.19.1.tar.gz

Download URL certora_cli-8.19.1.tar.gz
Size 43.4 MB
Tags Source
SHA-256 checksum
How to use checksums 		05a429ebd2463df1b6c5aae6ed65b3585dd13bee668f2160193e797e38d5f4d9
BLAKE2b-256 checksum
How to use checksums 		adcd0bcd2b5ff1b5f2b31ef18e59e6316d194b88cde0e8e7161fc88b345dd84f
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.1-py3-none-manylinux_2_28_x86_64.whl

Download URL certora_cli-8.19.1-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 		9ae2c66b0399c4a472f80f62e5f7600ed7528b5deedaa18f6dc257db9ad077a9
BLAKE2b-256 checksum
How to use checksums 		39f0b0f2b24be05a7cfc8f6d302ff78d5812e346ab0d374b04aba0776a73630d
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.1-py3-none-macosx_10_9_universal2.whl

Download URL certora_cli-8.19.1-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 		689f59dce81d9b97298b349e50f864740f62740478180c7dc61dd2ed3f02d738
BLAKE2b-256 checksum
How to use checksums 		4743da1321852dbb753d871d07bb152a062b30123f7e276616eab96a11c63d89
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.1-py3-none-any.whl

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

This release

8.19.1 This release

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