In the CLI tools & terminal space, certora-cli-beta takes a focused approach. It enables developers to run formal verification of smart contracts using the Certora Prover from the command line. certora-cli-beta is an open-source project aimed at blockchain developers and auditors. The project is open source (GPL-3.0). It runs on the web and the command line.
Behind certora-cli-beta is 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 has few near neighbours, marking it as relatively distinct. Among its 4 catalogued features are Certora Prover integration, command-line interface, and formal verification.
Latest indexed changes and source events
Other apps tracked under the same category.
