Projects by Tag: Certora — Formal Verification and Smart Contract Security Tools
Discover projects tagged certora that implement formal verification and automated theorem proving for smart contracts; this curated list of projects showcases integrations with the Certora Prover, Solidity and EVM-compatible chains, audit-ready verification pipelines, and model-checking workflows. Use the filtering UI to find projects by language, chain, verification coverage, or repository activity, compare verification claims, view audit reports, and locate libraries or integrations for CI/CD adoption. Whether you are evaluating formal methods for smart contract security, seeking open-source Certora examples, or integrating proof-based testing into your development lifecycle, these projects provide actionable implementation patterns and security trade-offs. Browse the list, apply filters to narrow by use case, and start evaluating Certora-enabled projects to improve contract correctness and reduce exploit risk.
