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

Project links

Data verified by PyPI on Jul 10, 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.18.0)

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-8.17.1.tar.gz (43.3 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-8.17.1-py3-none-manylinux_2_28_x86_64.whl (44.2 MB view details)

Uploaded Python 3manylinux: glibc 2.28+ x86-64

certora_cli-8.17.1-py3-none-macosx_10_9_universal2.whl (44.9 MB view details)

Uploaded Python 3macOS 10.9+ universal2 (ARM64, x86-64)

certora_cli-8.17.1-py3-none-any.whl (43.4 MB view details)

Uploaded Python 3

File details

Details for the file certora_cli-8.17.1.tar.gz.

File metadata

  • Download URL: certora_cli-8.17.1.tar.gz
  • Upload date:
  • Size: 43.3 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.11.15

File hashes

Hashes for certora_cli-8.17.1.tar.gz
Algorithm Hash digest
SHA256 da2ba90713a7b0ea2ad3639ab8de9c84f3393cc4992d15160b99d8dcf14ed412
MD5 15c347a4ead81b1182727bb195aa1030
BLAKE2b-256 3c85903fbcdc78f566af23ceb01a17db052755bcc700e84874d97e75885be160

See more details on using hashes here.

File details

Details for the file certora_cli-8.17.1-py3-none-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for certora_cli-8.17.1-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 af222e7c8e4e1a37dfb140a0e186725456e948ae9fc45f5684704e97bfb8c1ec
MD5 4cd9692c65d811fde05db4198a3b556e
BLAKE2b-256 ec9cf5f1ceb4f3e03d75651ea9d14bd47946e100bfe6860515fe6f716aad8251

See more details on using hashes here.

File details

Details for the file certora_cli-8.17.1-py3-none-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for certora_cli-8.17.1-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 aaa24cbbe58d191a5c76230b6b146ce7d1fdab4d4bb7b3e2fc4be8629afc50f0
MD5 81b6e3ee77d885292e444f24cb52e6aa
BLAKE2b-256 fc08ce1ef276cf2b2d72a7c6f1f44a89d24e3bd563f97db0b93e9033cb5ba93f

See more details on using hashes here.

File details

Details for the file certora_cli-8.17.1-py3-none-any.whl.

File metadata

  • Download URL: certora_cli-8.17.1-py3-none-any.whl
  • Upload date:
  • Size: 43.4 MB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.11.15

File hashes

Hashes for certora_cli-8.17.1-py3-none-any.whl
Algorithm Hash digest
SHA256 9392f5b5bfa70cf810ca4da19b4391248b74c814077d0b0e3c833412c84d3a9a
MD5 e23a124d251d3da7e0db1d91bcd9238f
BLAKE2b-256 bc80450bff5ce9dfba3f000253222efa6f46d1af48545ed503c16bfdd7b26a76

See more details on using hashes here.

Release history Release notifications | RSS feed

8.18.0

4 files

This release

8.17.1 This release

4 files

8.16.2

4 files

8.16.1

4 files

8.13.1

4 files

8.13.0

4 files

8.11.3

4 files

8.8.1

4 files

8.8.0

4 files

8.6.4

4 files

8.6.3

4 files

8.6.1

4 files

8.5.1

4 files

8.3.1

4 files

8.3.0

4 files

8.1.1

4 files

8.1.0

4 files

7.31.2

4 files

7.31.1

4 files

7.31.0

4 files

7.29.3

4 files

7.29.2

4 files

7.29.1

4 files

7.28.0

4 files

7.26.0

4 files

7.25.3

4 files

7.25.2

4 files

7.22.3

4 files

7.22.2

4 files

7.21.1

4 files

7.20.3

4 files

7.20.1

4 files

7.17.2

4 files

7.14.3

4 files

7.14.2

4 files

7.10.2

4 files

7.10.1

4 files

7.6.3

4 files

7.3.0

4 files

7.0.7

4 files

6.3.1

4 files

6.1.4

4 files

6.1.3

4 files

5.0.5

4 files

4.13.1

4 files

4.12.1

4 files

4.10.1

4 files

4.8.0

4 files

4.5.1

4 files

4.3.1

2 files

4.0.6

2 files

3.6.8.post3

2 files

Yanked

3.6.8.post2

2 files

Yanked reason: subsumed by 3.6.8.post3

3.6.8

2 files

Yanked

3.6.6

2 files

3.6.5

2 files

3.6.4

2 files

3.6.3

2 files

3.6.2

2 files

3.6.1

2 files

Yanked

3.6.0

2 files

3.5.0

2 files

3.4.3

2 files

3.4.2

2 files

3.4.0

2 files

3.3.6

2 files

3.3.5

2 files

3.3.2

2 files

3.3.1

2 files

3.3.0

2 files

3.2.0

2 files

3.1.0

2 files

3.0.0

2 files

2.13.2

2 files

2.13.1

2 files

2.12.0

2 files

2.11.3

2 files

2.11.2

2 files

2.11.0

2 files

2.10.0

2 files

2.9.2

2 files

2.9.1

2 files

2.9.0

2 files

2.8.1

2 files

2.8.0

2 files

2.7.2

2 files

2.7.1

2 files

2.6.2

2 files

2.6.1

2 files

2.6.0

2 files

2.5.4

2 files

2.5.3

2 files

2.5.2

2 files

2.5.1

2 files

2.5.0

2 files

2.4.9

2 files

2.4.8

2 files

2.4.7

2 files

2.4.2

2 files

2.3.1

2 files

2.2.1

2 files

2.2.0

2 files

2.1.1

2 files

2.1.0

2 files

2.0.2

2 files

2.0.1

2 files

2.0.0

2 files

1.0.16

2 files

1.0.15

2 files

1.0.14

2 files

1.0.12

2 files

1.0.0

2 files

0.2.1

2 files

0.2.0

2 files

0.1.1

1 file

0.1.0

2 files

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page