Skip to content

@Certora Certora

Change the repository type filter

All

    Repositories list

    252 repositories

    • Documentation

      Public
      Python
      •23•18•0•10•Updated May 8, 2026May 8, 2026

    • 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
      ethereumsmart-contractsblockchain
      ethereumsmart-contractsblockchainweb3stellarformal-verificationsecurity-toolssolanacertoracertora-prover
      Kotlin
      •
      GNU General Public License v3.0
      •37•302•21•3•Updated May 8, 2026May 8, 2026

    • wala-solidity

      Public
      WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressions, and calls.
      static-analysisethereumblockchain
      static-analysisethereumblockchainsolidityroundingcertora
      Java
      •
      Eclipse Public License 2.0
      •0•16•0•0•Updated May 7, 2026May 7, 2026

    • graphcore

      Public
      Reusable Framework for LLM-Powered Workflows
      Python
      •
      GNU General Public License v3.0
      •0•0•0•1•Updated May 7, 2026May 7, 2026

    • AIComposer

      Public
      AI Composer from Certora Labs
      Python
      •
      MIT License
      •3•22•0•7•Updated May 7, 2026May 7, 2026

    • SecurityReports

      Public
      Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 proto…
      ethereumsmart-contractsblockchain
      ethereumsmart-contractsblockchainweb3stellarformal-verificationsolanasecurity-auditscertoracertora-prover
      2•31•0•1•Updated Apr 30, 2026Apr 30, 2026

    • Examples

      Public
      An index repository with submodules for different examples of Certora projects
      Solidity
      •51•206•2•11•Updated Apr 21, 2026Apr 21, 2026

    • aave-v4-pub

      Public
      Aave V4
      Solidity
      •
      Other
      •80•0•0•5•Updated Apr 20, 2026Apr 20, 2026

    • aave-proposals-reports

      Public
      BGD reports of Aave governance proposals
      GNU General Public License v3.0
      •2•1•0•0•Updated Apr 14, 2026Apr 14, 2026

    • tempo

      Public
      the blockchain for payments
      Rust
      •
      Apache License 2.0
      •279•1•0•0•Updated Apr 14, 2026Apr 14, 2026

    • Quorum

      Public
      Solidity
      •
      MIT License
      •5•14•0•3•Updated Apr 14, 2026Apr 14, 2026

    • stellar-contracts

      Public
      OpenZeppelin Contracts written in Rust for Stellar Soroban
      Rust
      •
      MIT License
      •54•0•0•1•Updated Apr 8, 2026Apr 8, 2026

    • zeus-guardian-ci

      Public
      An automated CI/CD pipeline runs Zeus audits automatically and generates GitHub issues from code diffs at each commit.
      TypeScript
      •0•0•0•0•Updated Apr 4, 2026Apr 4, 2026

    • cvl-move-proto

      Public
      Prototyping cvl features for Move
      Move
      •
      Apache License 2.0
      •0•3•0•0•Updated Apr 4, 2026Apr 4, 2026

    • certora-run-action

      Public
      Certora Run GitHub Action
      Shell
      •
      BSD 4-Clause "Original" or "Old" License
      •2•3•0•0•Updated Apr 1, 2026Apr 1, 2026

    • cvlr-solana

      Public
      CVLR library for Solana
      Rust
      •
      MIT License
      •6•4•0•1•Updated Mar 30, 2026Mar 30, 2026

    • cvlr

      Public
      CVLR: Certora Verification Language for Rust
      Rust
      •
      MIT License
      •2•8•0•1•Updated Mar 28, 2026Mar 28, 2026

    • cargo-certora-sbf

      Public
      Certora cargo command for building and analyzing SBF (Solana) code
      Rust
      •
      Apache License 2.0
      •3•2•0•0•Updated Mar 27, 2026Mar 27, 2026

    • cvlr-soroban

      Public
      CVLR for Soroban smart contracts
      Rust
      •
      MIT License
      •2•0•0•0•Updated Mar 27, 2026Mar 27, 2026

    • cvl-move-proto-iota

      Public
      Prototyping cvl features for Move on Iota
      Move
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 9, 2026Mar 9, 2026

    • SolanaExamples

      Public
      Examples of Solana applications verification with the Certora Prover
      Rust
      •4•9•0•1•Updated Mar 8, 2026Mar 8, 2026

    • certora-solana-platform-tools

      Public
      Certora modified Solana Platform Tools
      Shell
      •1•1•0•2•Updated Mar 5, 2026Mar 5, 2026

    • gho-origin-pub

      Public
      GHO, Aave's decentralized stablecoin
      Solidity
      •
      MIT License
      •15•0•0•2•Updated Mar 2, 2026Mar 2, 2026

    • collections

      Public
      Memory-effficient immutable collection types for Kotlin
      kotlinmapset
      kotlinmapsetmapscollectionspersistent-data-structurememory-efficientmemory-efficiencytreapssets
      Kotlin
      •
      MIT License
      •1•10•0•0•Updated Feb 27, 2026Feb 27, 2026

    • woof-software-comet

      Public
      An efficient money market protocol for Ethereum and compatible chains (aka Compound III, Compound v3).
      TypeScript
      •
      Other
      •197•0•0•0•Updated Feb 19, 2026Feb 19, 2026

    • eigenlayer-contracts-fork

      Public
      Solidity
      •
      Other
      •473•0•0•2•Updated Feb 16, 2026Feb 16, 2026

    • CaptureTheFunds

      Public
      Certora's Next-gen CTF
      Solidity
      •8•6•0•0•Updated Feb 11, 2026Feb 11, 2026

    • templar-contracts

      Public
      Templar Protocol smart contracts
      Rust
      •
      MIT License
      •10•0•0•0•Updated Feb 11, 2026Feb 11, 2026

    • mmt_v3

      Public
      Move
      •5•0•0•0•Updated Feb 10, 2026Feb 10, 2026

    • anchor

      Public
      ⚓ Solana Sealevel Framework
      Rust
      •
      Apache License 2.0
      •1.9k•1•0•0•Updated Feb 2, 2026Feb 2, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.