{"id":44549,"library":"certora-cli","title":"Certora CLI","description":"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.","status":"active","version":"8.13.1","language":"python","source_language":"en","source_url":"https://github.com/Certora/CertoraProver","tags":["certora","formal verification","smart contracts","solidity"],"install":[{"cmd":"pip install certora-cli","lang":"bash","label":"pip install certora-cli"}],"dependencies":[],"imports":[{"wrong":"from certora import CertoraProver","symbol":"CertoraProver","correct":"from certora_cli import CertoraProver"}],"quickstart":{"code":"from certora import CertoraProver\n\nprover = CertoraProver(\n    contract='path/to/contract.sol',\n    spec='path/to/spec.spec',\n    key=os.environ.get('CERTORAKEY', '')\n)\nresult = prover.run()\nprint(result)","lang":"python","description":"Initialize CertoraProver with contract and spec paths, then run the prover."},"warnings":[{"fix":"Use a .env file or pass config explicitly in Python.","message":"Configuration moved from environment variables to a config file in v8.x. Old env vars may be ignored.","severity":"breaking","affected_versions":">=8.0.0"},{"fix":"Use CertoraProver class or certora.run_cli() instead.","message":"The old 'certoraRun' command-line script has been deprecated in favor of the Python API.","severity":"deprecated","affected_versions":">=8.0.0"},{"fix":"Avoid running many instances concurrently when troubleshooting.","message":"Parallel runs may produce incomplete logs. Use sequential runs for debugging.","severity":"gotcha","affected_versions":"all"}],"env_vars":null,"search_vec":"'8.13.1':21 'certora':1,10,27 'cli':2 'command':4 'command-lin':3 'contract':18,31 'current':19 'formal':13,28 'frequent':23 'line':5 'prover':11 'pypi':26 'releas':24 'run':8 'smart':17,30 'solid':32 'tool':6,15 'verif':14,29 'version':20","created_at":"2026-06-07T12:50:40.611823+00:00","updated_at":"2026-06-07T12:50:40.611823+00:00","problems":null,"ecosystem":"pypi","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"library","homepage":"https://pypi.org/project/certora-cli","github":"https://github.com/Certora/CertoraProver","docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["testing"],"base_url":null,"auth_type":null,"provenance":{"verified_status":"passing","verified_at":"2026-07-03","last_verified":"2026-07-03","next_check":"2026-08-02","install_tag":null}}