Pinned Loading

1. Certora/CertoraProver Certora/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 305 38

2. Certora/gambit Certora/gambit Public

   Using mutations to improve specs and test suites

   Rust 207 14

3. kmbarry1/fund-eq-of-dai-certora kmbarry1/fund-eq-of-dai-certora Public

   Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.

   Solidity 15 2

4. Certora/Documentation Certora/Documentation Public

   Python 18 24

5. Certora/Examples Certora/Examples Public

   An index repository with submodules for different examples of Certora projects

   Solidity 207 52

6. Certora/tutorials-code Certora/tutorials-code Public

   Certora tutorials

   Solidity 30 27