{"library":"certora-cli","type":"library","category":null,"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.","language":"python","status":"active","version":"8.13.1","tags":["certora","formal verification","smart contracts","solidity"],"install":[{"cmd":"pip install certora-cli","imports":["from certora_cli import CertoraProver"]}],"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,"compatibility":null,"provenance":{"verified_status":"passing","verified_at":"Fri Jul 03","last_verified":"Fri Jul 03","next_check":"Sun Aug 02","install_tag":null}}