Skip to content
@Certora

Certora

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 270 28

  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…

    28 4

  3. Examples Examples Public

    An index repository with submodules for different examples of Certora projects

    Solidity 187 48

  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 203 14

  6. tutorials-code tutorials-code Public

    Certora tutorials

    Solidity 29 26

Repositories

Showing 10 of 244 repositories
  • cargo-certora-sbf Public

    Certora cargo command for building and analyzing SBF (Solana) code

    Certora/cargo-certora-sbf’s past year of commit activity
    Rust 2 Apache-2.0 2 0 1 Updated Jan 13, 2026
  • graphcore Public

    Reusable Framework for LLM-Powered Workflows

    Certora/graphcore’s past year of commit activity
    Python 0 GPL-3.0 0 0 2 Updated Jan 12, 2026
  • 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 Stellar.

    Certora/SecurityReports’s past year of commit activity
    28 4 0 0 Updated Jan 12, 2026
  • stellar-contracts Public Forked from OpenZeppelin/stellar-contracts

    OpenZeppelin Contracts written in Rust for Stellar Soroban

    Certora/stellar-contracts’s past year of commit activity
    Rust 0 MIT 45 0 0 Updated Jan 12, 2026
  • certora-run-action Public

    Certora Run GitHub Action

    Certora/certora-run-action’s past year of commit activity
    Shell 2 BSD-4-Clause 2 0 3 Updated Jan 12, 2026
  • Documentation Public
    Certora/Documentation’s past year of commit activity
    Python 18 21 0 10 Updated Jan 12, 2026
  • solana-spec-template Public

    Template for Certora specifications for Solana projects

    Certora/solana-spec-template’s past year of commit activity
    Python 0 MIT 2 0 0 Updated Jan 12, 2026
  • aave-proposals-reports Public Forked from aave-dao/aave-proposals-reports

    BGD reports of Aave governance proposals

    Certora/aave-proposals-reports’s past year of commit activity
    1 GPL-3.0 2 0 0 Updated Jan 11, 2026
  • cvl-move-proto Public

    Prototyping cvl features for Move

    Certora/cvl-move-proto’s past year of commit activity
    Move 2 Apache-2.0 0 0 0 Updated Jan 9, 2026
  • Examples Public

    An index repository with submodules for different examples of Certora projects

    Certora/Examples’s past year of commit activity
    Solidity 187 48 2 10 Updated Jan 9, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.