Registry / testing / certora-cli

certora-cli

JSON →
library8.13.1pypypi✓ verified 85d ago

Command-line tools for running the Certora Prover, a formal verification tool for smart contracts. Current version 8.13.1, with frequent releases on PyPI.

testing
pip install certora-cli
github ↗homepage ↗
INSTALL
IMPORT
SIG · CERTORA-CLI
C
certora-cli
testingpythonv8.13.1
harness data pending
Install & Compatibility
Where this runs

No compatibility data collected yet for this library.

Code
Verified usage

Verified import paths — ran on the pinned version, not inferred.

CertoraProver
✓ from certora_cli import CertoraProver
✗ from certora import CertoraProver

Initialize CertoraProver with contract and spec paths, then run the prover.

from certora import CertoraProver prover = CertoraProver( contract='path/to/contract.sol', spec='path/to/spec.spec', key=os.environ.get('CERTORAKEY', '') ) result = prover.run() print(result)
Debug
Known issues
breakingConfiguration moved from environment variables to a config file in v8.x. Old env vars may be ignored.
fix
Use a .env file or pass config explicitly in Python.
affects: >=8.0.0
deprecatedThe old 'certoraRun' command-line script has been deprecated in favor of the Python API.
fix
Use CertoraProver class or certora.run_cli() instead.
affects: >=8.0.0
gotchaParallel runs may produce incomplete logs. Use sequential runs for debugging.
fix
Avoid running many instances concurrently when troubleshooting.
affects: all
Upgrade
Version history
8.13.1latest on PyPI · released May 19, 2026
Audit
Dependencies

No dependency data recorded yet.

Agent activity
29 hits · last 30 days
node
24
Amazon
1
OpenAI (training)
1
Resources
githubhttps://github.com/Certora/CertoraProver ↗
homepagehttps://pypi.org/project/certora-cli ↗