crates.io · Maven
Certora/CertoraProver
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
GPL-3.0Aug 20, 2026 · metrics 2.10.0
All tags
Catalogue tag
#certora-prover
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
1 record