Runner for the Certora Prover
certora-cli-alpha-master sits in PulseGate's CLI tools & terminal category. It focuses on automating the formal verification process for smart contracts using the Certora Prover. certora-cli-alpha-master is an open-source project aimed at blockchain developers and smart contract engineers. The project is open source (GPL-3.0). certora-cli-alpha-master is available on the web and the command line, and it can be self-hosted.
It is developed by Certora, and the product first shipped in 2025. The project is developed in the open on GitHub with 308 stars and 128 commits in the last 90 days. Across PulseGate's embedding index, certora-cli-alpha-master has few near neighbours, marking it as relatively distinct. Among its 3 catalogued features are CLI runner, Certora Prover integration, and formal verification.
Latest indexed changes and source events
Other apps tracked under the same category.
