7 projects
certora-cli-alpha-master
Runner for the Certora Prover
certora-cli-beta
Runner for the Certora Prover
certora-cli
Runner for the Certora Prover
certora-prover-cli
A Python API and CLI for parsing outputs from the Certora Prover
certora-cloud
Command-line interface for Certora Cloud services.
certora-proverlite
Automated smart contract security analysis powered by formal verification
certora-patrol
Automated smart contract security analysis powered by formal verification
