Repositories list

• AIComposer

  Public

  Certora/AIComposer’s past year of commit activity
  AI Composer from Certora Labs

  Python

  •

  MIT License

  •4•21•0•7•Updated Mar 31, 2026Mar 31, 2026

• cvlr-solana

  Public
  CVLR library for Solana

  Rust

  •

  MIT License

  •6•4•0•1•Updated Mar 30, 2026Mar 30, 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+ 7

  ethereumsmart-contractsblockchainweb3stellarformal-verificationsolanasecurity-auditscertoracertora-prover

  2•32•0•1•Updated Mar 30, 2026Mar 30, 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+ 7

  ethereumsmart-contractsblockchainweb3stellarformal-verificationsecurity-toolssolanacertoracertora-prover

  Kotlin

  •

  GNU General Public License v3.0

  •32•294•19•7•Updated Mar 29, 2026Mar 29, 2026

• graphcore

  Public
  Reusable Framework for LLM-Powered Workflows

  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Mar 29, 2026Mar 29, 2026

• aave-proposals-reports

  Public
  BGD reports of Aave governance proposals

  GNU General Public License v3.0

  •2•1•0•0•Updated Mar 29, 2026Mar 29, 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

• aave-v4-pub

  Public
  Aave V4

  Solidity

  •64•0•0•2•Updated Mar 26, 2026Mar 26, 2026

• Examples

  Public
  An index repository with submodules for different examples of Certora projects

  Solidity

  •51•199•2•12•Updated Mar 25, 2026Mar 25, 2026

• Documentation

  Public
  Python

  •23•18•0•12•Updated Mar 24, 2026Mar 24, 2026

• certora-run-action

  Public
  Certora Run GitHub Action

  Shell

  •

  BSD 4-Clause "Original" or "Old" License

  •2•2•0•1•Updated Mar 23, 2026Mar 23, 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

• stellar-contracts

  Public
  OpenZeppelin Contracts written in Rust for Stellar Soroban

  Rust

  •

  MIT License

  •50•0•0•1•Updated Mar 3, 2026Mar 3, 2026

• cvl-move-proto

  Public
  Prototyping cvl features for Move

  Move

  •

  Apache License 2.0

  •0•3•0•0•Updated Mar 2, 2026Mar 2, 2026

• gho-origin-pub

  Public
  GHO, Aave's decentralized stablecoin

  Solidity

  •

  MIT License

  •13•0•0•2•Updated Mar 2, 2026Mar 2, 2026

• collections

  Public
  Memory-effficient immutable collection types for Kotlin

  kotlinmapset+ 8

  kotlinmapsetmapscollectionspersistent-data-structurememory-efficientmemory-efficiencytreapssets+ 1

  Kotlin

  •

  MIT License

  •1•9•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

  •195•0•0•0•Updated Feb 19, 2026Feb 19, 2026

• eigenlayer-contracts-fork

  Public
  Solidity

  •

  Other

  •477•0•0•2•Updated Feb 16, 2026Feb 16, 2026

• CaptureTheFunds

  Public
  Certora's Next-gen CTF

  Solidity

  •9•6•0•0•Updated Feb 11, 2026Feb 11, 2026

• templar-contracts

  Public
  Templar Protocol smart contracts

  Rust

  •

  MIT License

  •8•0•0•0•Updated Feb 11, 2026Feb 11, 2026

• mmt_v3

  Public
  Move

  •4•0•0•0•Updated Feb 10, 2026Feb 10, 2026

• anchor

  Public
  ⚓ Solana Sealevel Framework

  Rust

  •

  Apache License 2.0

  •1.9k•0•0•0•Updated Feb 2, 2026Feb 2, 2026

• lido-dao

  Public
  Lido DAO smart contracts

  TypeScript

  •

  GNU General Public License v3.0

  •269•0•0•5•Updated Jan 29, 2026Jan 29, 2026

• Veda-Fuzzing

  Public
  Fuzzing suite for Veda engagement

  Solidity

  •

  Other

  •0•0•0•0•Updated Jan 28, 2026Jan 28, 2026

• solana-spec-template

  Public
  Template for Certora specifications for Solana projects

  Python

  •

  MIT License

  •1•0•0•0•Updated Jan 12, 2026Jan 12, 2026

• CorkWhitelistRemover

  Public
  A helper contract designed to batch tx coming from HN in order to automate whitelist removal in Cork protocol

  Solidity

  •0•0•0•0•Updated Jan 5, 2026Jan 5, 2026