Pinned Repositories
CertoraInit
Certora Init
CertoraProverSupplementary
Supplementary Material to be used with the Certora Prover
cvldocTool
convert the NatSpec comment on a spec file(s) to a JSON file.
Documentation
Examples
An index repository with submodules for different examples of Certora projects
FoundryIntegration
Certora integration with the Forge testing framework of Foundry
gambit
Using mutations to improve specs and test suites
gambit-report-viewer
Tutorials
Practical tutorials of Certora Prover
tutorials-code
Certora tutorials
Certora's Repositories
Certora/Examples
An index repository with submodules for different examples of Certora projects
Certora/Documentation
Certora/CertoraInit
Certora Init
Certora/tutorials-code
Certora tutorials
Certora/cvldoc_parser
CVLDoc parser backend
Certora/collections
Memory-effficient immutable collection types for Kotlin
Certora/gho-competition
Certora/cvldocTool
convert the NatSpec comment on a spec file(s) to a JSON file.
Certora/aave-delivery-infrastructure
Abstraction layer for cross-chain communication
Certora/aave-proposals-reports
BGD reports of Aave governance proposals
Certora/aave-v3-core
This repository contains the core smart contracts of the Aave V3 protocol.
Certora/aave-v3-periphery
Certora/bgd-forge-template
Certora/blend-contracts
Soroban implementation of the Blend Protocol
Certora/damn-vulnerable-defi
Certora/docs-infrastructure
Infrastructure for Certora documentation, tutorials and others.
Certora/ethereum-vault-connector
The EVC is a mediator between Vaults that may have borrowing functionality.
Certora/gho-core
Certora/gho-core-steward
Certora/gho-core-temp
Certora/ilm
integrated liquidity market
Certora/kintoXYZ-core
KYC Of KInto
Certora/liquid-collective-protocol
Liquid Collective protocol smart contracts
Certora/M0-Protocol
M^0 protocol
Certora/M0-TTG
TTG, "Two Token Governance," is a governance mechanism that uses token voting to maintain lists and manage communal property
Certora/smart-wallet
Certora/SolanaExamples
Provide Solana example for customers
Certora/stake-token
Certora/tokemak-v2-core-fv
Certora/VyperExamples