─── ecosystem · certora

Certora

repositories

190

contributors

846

languages

top lang

Solidity

repo wow

contrib wow

+640

star wow

+25

weeks avail

─── weekly trend · 5w

repositories

contributors

846

stars

1,185

─── top gaining repos

01Certora/Examples

+5 ★

+0 contributors · Solidity

02Certora/gambit

+1 ★

+0 contributors · Rust

─── top languages · by repos

─── repositories

100 / 190

#	repository	lang	stars	forks
001	Certora/CertoraProver 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	305	38
002	Certora/Tutorials Practical tutorials of Certora Prover	Solidity	242	189
003	Certora/Examples An index repository with submodules for different examples of Certora projects	Solidity	207	52
004	Certora/gambit Using mutations to improve specs and test suites	Rust	207	14
005	Certora/CaptureTheSpec	Python	35	17
006	Certora/SecurityReports 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.	—	32	2
007	Certora/tutorials-code Certora tutorials	Solidity	30	27
008	Certora/FoundryIntegration Certora integration with the Forge testing framework of Foundry	Rust	21	1
009	Certora/wala-solidity WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressions, and calls.	Java	19	0
010	Certora/Documentation	Python	18	23
011	Certora/CertoraProverSupplementary Supplementary Material to be used with the Certora Prover	Ruby	17	7
012	Certora/euler-vault-cantina-fv	Solidity	14	5
013	Certora/Quorum	Solidity	14	5
014	Certora/CertoraInit Certora Init	Solidity	13	3
015	Certora/uniswap-v4-periphery-cantina-fv	Solidity	11	0
016	Certora/collections Memory-effficient immutable collection types for Kotlin	Kotlin	9	1
017	Certora/cvlr CVLR: Certora Verification Language for Rust	Rust	8	2
018	Certora/gambit-report-viewer	TypeScript	8	1
019	Certora/MemoryIsolationPOC	JavaScript	6	2
020	Certora/2023-01-blockswap-fv	Solidity	5	13
021	Certora/aquarius-cantina-fv	Rust	5	0
022	Certora/silo-v2-cantina-fv	Solidity	5	1
023	Certora/aave-starknet-bridge Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange	Solidity	4	15
024	Certora/basic-presentation Code for basic 90 minutes presentation	Solidity	4	0
025	Certora/cvldoc_parser CVLDoc parser backend	Rust	4	0
026	Certora/cvlr-solana CVLR library for Solana	Rust	4	6
027	Certora/meridian2024-workshop	Rust	4	2
028	Certora/vscode-certora-prover	Svelte	4	3
029	Certora/certora-run-action Certora Run GitHub Action	Shell	3	2
030	Certora/certora-vault-tutorial Certora Tokenized Vault for Solana Tutorial	Rust	3	0
031	Certora/cvl-move-proto Prototyping cvl features for Move	Move	3	0
032	Certora/ERC4626_Workshop Repository for the specifications for the Certora workshop on ERC4626 at TrustX @ Istanbul 2023.	Solidity	3	1
033	Certora/rust-evm	Rust	3	0
034	Certora/vim-setup Vim setup for using Certora Verification Language	Vim Script	3	1
035	Certora/cargo-certora-sbf Certora cargo command for building and analyzing SBF (Solana) code	Rust	2	3
036	Certora/fixed Rust fixed-point numbers. Certora fork of https://gitlab.com/tspiteri/fixed	Rust	2	0
037	Certora/fuzz-vs-fv-showdown Study of fuzzing vs formal verification	Solidity	2	0
038	Certora/InvalidCalldataPOC A proof of concept for the invalid calldata padding bug	JavaScript	2	2
039	Certora/ruler-evm The Ruler project adapted to generate rules for evm.	Rust	2	0
040	Certora/Secureum2023_ERC4626_public	Solidity	2	8
041	Certora/TheDogShowWorkshop	Solidity	2	0
042	Certora/aave-proposal-test	Solidity	1	0
043	Certora/aave-verification-projects-TOC A table of content referring to all the repositories certora has reviewed to some extent related to the Aave ecosystem	—	1	0
044	Certora/BordaChallenge	Ruby	1	0
045	Certora/ccip Cross Chain Interoperability Protocol	Go	1	0
046	Certora/certora-solana-platform-tools Certora modified Solana Platform Tools	Shell	1	1
047	Certora/cvlr-collections CVLR Vectors and other collections mocks, fakes, and summaries	Rust	1	2
048	Certora/ethGatheringBarcelona_worksop Source code for Certora workshop at ETH Gathering in Barcelona	Solidity	1	2
049	Certora/fried-egg Frying some eggs	Rust	1	0
050	Certora/LiquidityPoolExample Example Certora verification for a simple multi-contract system	Solidity	1	5
051	Certora/MemoryCorruptionPOC Example of memory allocation overflow	Assembly	1	0
052	Certora/nirn	—	1	0
053	Certora/openzeppelin-contracts OpenZeppelin Contracts is a library for secure smart contract development.	JavaScript	1	0
054	Certora/OptimizerBugPOC Proof of Concept of YUL Optimizer Bug	JavaScript	1	1
055	Certora/protocol-v2 AaveV2 StaticAtokenLM	—	1	0
056	Certora/rocket-joe-1 🚀 Bootstrapping protocol-owned liquidity	Ruby	1	0
057	Certora/safeguard Safeguard Ethereum monitoring	Go	1	0
058	Certora/Secureum_Staking_Rewards	Solidity	1	4
059	Certora/sunbeam-tutorials Examples and tutorials for Certora Sunbeam.	Rust	1	0
060	Certora/superfluid-protocol-monorepo Superfluid Protocol Monorepo: the specification, implementations, peripherals and development kits.	TypeScript	1	0
061	Certora/2023-05-chainlink	Solidity	0	0
062	Certora/2023-08-cooler	HTML	0	0
063	Certora/2023-08-dopex	Solidity	0	0
064	Certora/2023-08-shell	Solidity	0	0
065	Certora/2023-09-delegate	—	0	0
066	Certora/aave-certora-nov22-proposal	Solidity	0	0
067	Certora/aave-delivery-infrastructure Abstraction layer for cross-chain communication	Solidity	0	1
068	Certora/aave-erc20-listing Specs for verifying new asset (ERC20) listings on Aave	Solidity	0	2
069	Certora/aave-governance-v3 Aave Governance V3	Solidity	0	0
070	Certora/aave-stk-gov-v3 Next iteration of Aave stk tokens (Safety Module), improving slashing management, cooldown and other technical aspects	Solidity	0	0
071	Certora/aave-stk-v1-5 Next iteration of Aave stk tokens (Safety Module), improving slashing management, cooldown and other technical aspects	Solidity	0	0
072	Certora/aave-token-v3	Ruby	0	24
073	Certora/aave-umbrella Aave Umbrella smart contracts	—	0	0
074	Certora/aave-v3-core This repository contains the core smart contracts of the Aave V3 protocol.	TypeScript	0	0
075	Certora/aave-v3-listing-stewards Helpers smart contracts/examples for Aave v3 asset listings	Solidity	0	0
076	Certora/aave-v3-origin Aave v3.1 protocol	Solidity	0	2
077	Certora/aave-v3-periphery	TypeScript	0	0
078	Certora/aave-v3-periphery_contest	TypeScript	0	0
079	Certora/aave-v3-risk-stewards Smart contracts to change Aave v3.1 risk configurations with constraints	Solidity	0	0
080	Certora/Aave-Vault ERC4626 vault to hold aToken assets	Solidity	0	0
081	Certora/account-abstraction eth foundation	—	0	1
082	Certora/account-abstraction-mirror	TypeScript	0	0
083	Certora/agora-dollar-access-control-evm_1	—	0	0
084	Certora/agora-dollar-evm-rc	—	0	0
085	Certora/atlas 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	0	0
086	Certora/badger-onchain-rewards Generalized onChain reward contract that allows to retroactively reward depositors with any token	HTML	0	12
087	Certora/BadSpecExamples Examples of specs that don't check what you think they check	—	0	0
088	Certora/balancer-v2-monorepo Balancer V2 Monorepo	TypeScript	0	1
089	Certora/BallGameExample An example showing how to strenghten an inductive hypothesis	Solidity	0	1
090	Certora/bentobox	TypeScript	0	0
091	Certora/bgd-forge-template	—	0	0
092	Certora/blend-contracts-v2 Soroban implementation of the Blend Protocol v2	—	0	0
093	Certora/BytecodeFetcher	JavaScript	0	0
094	Certora/cape Configurable Asset Privacy for Ethereum	—	0	0
095	Certora/cash-contracts The smart contracts for the ether.fi cash product	—	0	0
096	Certora/ccip-old Cross Chain Interoperability Protocol	—	0	0
097	Certora/CertoraExamples Certora Examples	—	0	0
098	Certora/cloud-rel-public	Shell	0	0
099	Certora/codex-contracts-eth Ethereum smart contracts for Codex	JavaScript	0	0
100	Certora/coinbase-training Training for Coinbase	Solidity	0	2

Want deeper analysis?

Commission a benchmark report for Certora.

[→] request report

─── subscriber view

Unlock the full view of the Certora ecosystem

· Full repository, commit, and contributor breakdown
· Peer graph + ecosystem links
· Weekly trend deltas and pulse signal
· API + CSV / JSON exports

[$] subscribe sign in

Already a subscriber? Sign in with the same email used at checkout.