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

Project links

Data verified by PyPI on Aug 4, 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-20260804.11.33.345392.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-20260804.11.33.345392-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-20260804.11.33.345392-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-20260804.11.33.345392-py3-none-any.whl (43.4 MB view details)

Uploaded Python 3

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260804.11.33.345392.tar.gz
Algorithm Hash digest
SHA256 0a8ac81264f0cb4583e16f33ac88c9c6cae80e4eeda3112723100c6c9af3ea0e
MD5 7dd461c12be5676d91a121a59bd7c40c
BLAKE2b-256 7fbb3baf344793a7cc94b0faa3d73a0de2d99b9751221ed260f6658f01b1c652

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260804.11.33.345392-py3-none-manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a7ceeccd768b66a93e79922c5faa39fc450ac457a44dc462e2e1b2f1fc79d6ec
MD5 44d730d3d20d12cc70213824525241dc
BLAKE2b-256 701d53ee04325969eace9390f82ff76c3415e547b9fedc3fba85665629b85313

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260804.11.33.345392-py3-none-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 731de6493e2e02dd266991800047a782a968e9a4189bacbc578f6a5a3f1cf0f5
MD5 078a3a55c97e1a6e0be67a8d0eac92c0
BLAKE2b-256 3b42c74051c04cbac7174c8ba3642d13f2c655365113b0bfbe1ae97c824928ba

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl
Algorithm Hash digest
SHA256 a5bec59b02cb42dcf9bf43f857babd04e29aa8e003141d5ce80f550d4f3707a7
MD5 2ee75d0a2e5713af2336371cdc01c634
BLAKE2b-256 85a5fa72202baa0b952977a068d4f328becd58b599de4814ab3680eb0377df47

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