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

Project links

Data verified by PyPI on Jul 30, 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

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.18.0.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.18.0-py3-none-manylinux_2_28_x86_64.whl (44.2 MB view details)

Uploaded Python 3manylinux: glibc 2.28+ x86-64

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

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

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

Uploaded Python 3

File details

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

File metadata

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

File hashes

Hashes for certora_cli-8.18.0.tar.gz
Algorithm Hash digest
SHA256 d059116e852aafbfbfca7f6d8090968e9ea2bbcc056989ed9a282e3f6fed07dd
MD5 c2217da45945f64228d8d7909a3ddee2
BLAKE2b-256 632bd7c4f7f8c6509def6289da1fdd9f41e764269160180e7b1ad8bcbb596ced

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli-8.18.0-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 7d0849908bd8b8102424e8e63fd91afae0aee174cd750d4f874792e3614876bf
MD5 343741d2118a0d34304d7b7b5d593e65
BLAKE2b-256 8676d957d151848e091c4bec1014d15e6658d2c1a06463f195236085e1b17bf6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli-8.18.0-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 441269bc7bd2a8d77955660403c361ac8b6ec051a3b82618c706e55693231c5d
MD5 118e6714e446c3d8681a655d6a668c57
BLAKE2b-256 dec9b38f13ec5807e8fb03a3ad30737b0d0997d6d62c17abed058043fce767d3

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for certora_cli-8.18.0-py3-none-any.whl
Algorithm Hash digest
SHA256 a13d46298784561a5c71cfdf103d3578df944a8514a859751a609c6ac175dc31
MD5 80e894ad7014a20c0100822addee52f3
BLAKE2b-256 4447a7fbf0247b7fc7b0319709ec0b58814503da1c7d2e09129b5103b968a1e1

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

8.18.0 This release

4 files

8.17.1

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