Pinned Loading

1. CertoraProver CertoraProver Public

   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

   Kotlin 243 26

2. SecurityReports SecurityReports Public

   Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and…

   24 3

3. Examples Examples Public

   An index repository with submodules for different examples of Certora projects

   Solidity 178 49

4. cvldocTool cvldocTool Public

   convert the NatSpec comment on a spec file(s) to a JSON file.

   Ruby

5. gambit gambit Public

   Using mutations to improve specs and test suites

   Rust 194 11

6. tutorials-code tutorials-code Public

   Certora tutorials

   Solidity 26 27