Runner for the Certora Prover
certora-cli-beta-mirror is a Developer Tools product. It focuses on running and managing smart contract verification tasks using the Certora Prover from the command line. certora-cli-beta-mirror is an open-source project aimed at blockchain developers and smart contract auditors. The project is open source (GPL-3.0). It runs 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-beta-mirror has few near neighbours, marking it as relatively distinct. Among its 3 catalogued features are CLI runner, smart contract verification, and Certora Prover integration.
Latest indexed changes and source events
Other apps tracked under the same category.
