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/solana-cvt
A library to write verification harnesses for the Solana Certora Prover
Certora/aave-a-token-with-delegation
Aave AToken with delegation capabilities
Certora/aave-delivery-infrastructure
Abstraction layer for cross-chain communication
Certora/aave-proposals-reports
BGD reports of Aave governance proposals
Certora/aave-v3-periphery
Certora/bgd-forge-template
Certora/blend-contracts
Soroban implementation of the Blend Protocol
Certora/curve-stablecoin
Stablecoin powered by LLAMMAs
Certora/docs-infrastructure
Infrastructure for Certora documentation, tutorials and others.
Certora/gho-core
Certora/gho-core-temp
Certora/ilm
integrated liquidity market
Certora/ion-protocol
Certora/kintoXYZ-core
KYC Of KInto
Certora/liquid-collective-protocol
Liquid Collective protocol smart contracts
Certora/smart-wallet
Certora/solana-program-library
Verification of SPL Token 2022
Certora/SolanaExamples
Provide Solana example for customers
Certora/status-communities-contracts
Smart contracts for access control and token gated Status communities.
Certora/status-staking
SNT Staking contracts (status)
Certora/tokemak-v2-core-fv
Certora/VyperExamples