Skip to content

@Certora Certora

Change the repository type filter

All

    Repositories list

    197 repositories

    • Examples

      Public
      An index repository with submodules for different examples of Certora projects
      Solidity
      •38•106•0•8•Updated Feb 2, 2025Feb 2, 2025

    • Documentation

      Public
      Python
      •16•17•0•14•Updated Feb 2, 2025Feb 2, 2025

    • solana-cvt

      Public
      A library to write verification harnesses for the Solana Certora Prover
      Rust
      •0•5•0•0•Updated Feb 1, 2025Feb 1, 2025

    • blend-contracts-v2

      Public
      Soroban implementation of the Blend Protocol v2
      Rust
      •
      GNU Affero General Public License v3.0
      •6•0•0•0•Updated Jan 31, 2025Jan 31, 2025

    • aave-proposals-reports

      Public
      BGD reports of Aave governance proposals
      GNU General Public License v3.0
      •1•0•0•0•Updated Jan 30, 2025Jan 30, 2025

    • Status-staking-reward-streamer

      Public
      Solidity
      •
      MIT License
      •1•0•0•0•Updated Jan 28, 2025Jan 28, 2025

    • etherfi-smart-contracts-fork

      Public
      ether.fi's smart contracts repo
      Solidity
      •29•0•0•3•Updated Jan 28, 2025Jan 28, 2025

    • blend-contracts

      Public
      Soroban implementation of the Blend Protocol
      Rust
      •
      GNU Affero General Public License v3.0
      •13•0•0•0•Updated Jan 24, 2025Jan 24, 2025

    • aave-stk-gov-v3

      Public
      Next iteration of Aave stk tokens (Safety Module), improving slashing management, cooldown and other technical aspects
      Solidity
      •
      MIT License
      •7•0•0•1•Updated Jan 24, 2025Jan 24, 2025

    • aave-governance-v3

      Public
      Aave Governance V3
      Solidity
      •
      Other
      •15•0•0•2•Updated Jan 24, 2025Jan 24, 2025

    • ccip

      Public
      Cross Chain Interoperability Protocol
      Go
      •
      Other
      •58•1•0•1•Updated Jan 24, 2025Jan 24, 2025

    • certora-run-action

      Public
      Certora Run GitHub Action
      Shell
      •
      BSD 4-Clause "Original" or "Old" License
      •0•0•0•0•Updated Jan 24, 2025Jan 24, 2025

    • cloud-rel-public

      Public
      Shell
      •0•0•0•0•Updated Jan 23, 2025Jan 23, 2025

    • silo-v2-cantina-fv

      Public
      Solidity
      •
      Other
      •0•3•0•0•Updated Jan 22, 2025Jan 22, 2025

    • Quorum

      Public
      Solidity
      •
      MIT License
      •2•6•1•0•Updated Jan 22, 2025Jan 22, 2025

    • atlas

      Public
      An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV by running auctions that match User Operations with Solver Operations. Users do not need a smart wallet. Permissionless for users, apps, and Solvers. Backwards-compatible with existing apps.
      Solidity
      •
      Other
      •15•0•0•2•Updated Jan 20, 2025Jan 20, 2025

    • meridian2024-workshop

      Public
      Rust
      •2•4•0•0•Updated Jan 17, 2025Jan 17, 2025

    • account-abstraction-mirror

      Public
      TypeScript
      •
      GNU General Public License v3.0
      •682•0•0•1•Updated Jan 16, 2025Jan 16, 2025

    • safe-smart-account

      Public
      Safe allows secure management of blockchain assets.
      TypeScript
      •
      GNU Lesser General Public License v3.0
      •970•0•0•1•Updated Jan 15, 2025Jan 15, 2025

    • certora-solana-platform-tools

      Public
      Certora modified Solana Platform Tools
      Shell
      •1•0•0•1•Updated Jan 14, 2025Jan 14, 2025

    • gho-core

      Public
      Solidity
      •
      MIT License
      •100•0•0•4•Updated Jan 13, 2025Jan 13, 2025

    • origin-dollar

      Public
      OUSD and OETH are stablecoins that passively accrue yield while you are holding it
      JavaScript
      •
      MIT License
      •84•0•0•0•Updated Jan 13, 2025Jan 13, 2025

    • codex-contracts-eth

      Public
      Ethereum smart contracts for Codex
      JavaScript
      •
      Other
      •10•0•0•0•Updated Jan 8, 2025Jan 8, 2025

    • collections

      Public
      Memory-effficient immutable collection types for Kotlin
      kotlinmapsetmapscollectionspersistent-data-structurememory-efficientmemory-efficiencytreapssets
      Kotlin
      •
      MIT License
      •1•4•0•0•Updated Jan 7, 2025Jan 7, 2025

    • ccip-old

      Public
      Cross Chain Interoperability Protocol
      Go
      •
      Other
      •58•0•0•0•Updated Dec 23, 2024Dec 23, 2024

    • aave-token-v3

      Public
      Ruby
      •
      MIT License
      •26•0•0•26•Updated Dec 19, 2024Dec 19, 2024

    • GhoDirectMinter

      Public
      GHO facilitator to mint+supply and withdraw+burn from Aave pools
      Solidity
      •
      Other
      •1•0•0•0•Updated Dec 19, 2024Dec 19, 2024

    • aave-v3-origin

      Public
      Aave v3.1 protocol
      Solidity
      •
      Other
      •61•0•0•2•Updated Dec 17, 2024Dec 17, 2024

    • docs-infrastructure

      Public
      Infrastructure for Certora documentation, tutorials and others.
      Python
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • anchor

      Public
      ⚓ Solana Sealevel Framework
      Rust
      •
      Apache License 2.0
      •1.4k•0•0•0•Updated Dec 5, 2024Dec 5, 2024