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

Project links

Data verified by PyPI on Aug 19, 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 (20260821.10.3.876041)

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

Uploaded Python 3manylinux: glibc 2.28+ x86-64

certora_cli_alpha_master-20260819.15.32.547513-py3-none-macosx_10_9_universal2.whl (44.9 MB view details)

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

certora_cli_alpha_master-20260819.15.32.547513-py3-none-any.whl (43.4 MB view details)

Uploaded Python 3

File details

Details for the file certora_cli_alpha_master-20260819.15.32.547513.tar.gz.

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.15.32.547513.tar.gz
Algorithm Hash digest
SHA256 6d947ac82b5aa16ab3b01afaccbd1ae564ff94fcfe75e2dbe310a2046d88217c
MD5 3c6cbf9cc5999086351cb893865be4be
BLAKE2b-256 cd97244fc391bab76005c9bbac06b36fc57158acd2b3705f146f5919ed33045b

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_master-20260819.15.32.547513-py3-none-manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.15.32.547513-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 8dc773f52c134aa938b785c47cbd0b182fc16fbe376bd566733af17a9166b076
MD5 cb6da2a02afdcecc71d9c924751d7ccc
BLAKE2b-256 ca6f5549188b819c851e4df14749a4edea8b3c8ed3c2c98f841864c7179f2c19

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_master-20260819.15.32.547513-py3-none-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.15.32.547513-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 f2ba0f4de7b8d9368ae9e393c3835b69b13407627195396222fdb5d0d59658db
MD5 6d4b8716c9d0ac60d44d9e49158d5953
BLAKE2b-256 881478b3f07d7e997893fd56a76a0567f9467f289ccdd67a70a9db8d31bd23b4

See more details on using hashes here.

File details

Details for the file certora_cli_alpha_master-20260819.15.32.547513-py3-none-any.whl.

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260819.15.32.547513-py3-none-any.whl
Algorithm Hash digest
SHA256 1d032bd03d269ad0eddb201f9d74655ba3dc65855d1038664f05c34a5a477cd0
MD5 2b74fd933c1cb66b17d7cca4fe76b81b
BLAKE2b-256 e2b0ed6154bdea247846392c9f1be3b2faa80dac2851245f53ac67f4de3de479

See more details on using hashes here.

Supported by

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