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
☆338Oct 16, 2026Updated this week
Alternatives and similar repositories for CertoraProver
Users that are interested in CertoraProver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A symbolic testing tool for EVM smart contracts☆1,034Aug 6, 2025Updated last year
- Using mutations to improve specs and test suites☆212Aug 12, 2026Updated 2 months ago
- AI Composer from Certora Labs☆31Jun 28, 2026Updated 3 months ago
- ☆125Oct 5, 2026Updated last week
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆491Sep 9, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).☆248Jul 21, 2026Updated 2 months ago
- ☆14Jun 28, 2026Updated 3 months ago
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆33Aug 24, 2026Updated last month
- LLVM-based Solidity compiler.☆188Updated this week
- Primers for Specialist AI Smart Contract Auditors☆270Dec 16, 2025Updated 10 months ago
- Executable formal model of the EVM and Yul in Lean 4.☆99Nov 19, 2025Updated 10 months ago
- easy POC template generation from the command line☆78Aug 30, 2024Updated 2 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆378Sep 9, 2026Updated last month
- Symbolic and concrete EVM execution engine☆359Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Interactive formal verification tool for Yul programs☆84Nov 19, 2025Updated 10 months ago
- Reproduce ZKP vulnerabilities☆350Sep 30, 2026Updated 2 weeks ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆115Aug 25, 2025Updated last year
- curation of all(most) immunefi bug bounty writeups I could find(till now)☆1,219Apr 17, 2026Updated 6 months ago
- Formal verification for Solidity smart contracts with the theorem prover Rocq. Providing higher security in a time of smarter AIs.☆53May 24, 2026Updated 4 months ago
- Solidity Static Analyzer that easily integrates into your editor☆797Updated this week
- A curated list of resources for formal verification with Certora Prover (EVM/Stellar/Solana/Sui).☆34Updated this week
- Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust☆571Oct 10, 2026Updated last week
- Generate invariants for Foundry projects with LLM☆108Aug 30, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An open benchmark for evaluating smart contracts verification tools.☆17Oct 5, 2025Updated last year
- AI prompts for web3 security researchers — bug bounties, private audits, and contests☆23Mar 9, 2026Updated 7 months ago
- Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.☆820Sep 17, 2026Updated last month
- weird erc20 tokens☆1,706Jun 3, 2025Updated last year
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆19Updated this week
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆194Feb 1, 2025Updated last year
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆131Sep 16, 2025Updated last year
- Practical tutorials of Certora Prover☆247Sep 27, 2023Updated 3 years ago
- Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts☆1,120Dec 10, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆140Oct 31, 2025Updated 11 months ago
- Static smart contract code 4naly3er☆551Aug 14, 2024Updated 2 years ago
- Autonomous Solidity Fuzzing via a Multi Agent Orchestration Framework☆27May 6, 2026Updated 5 months ago
- ☆104Nov 25, 2025Updated 10 months ago
- Generate tests based on the Branching Tree Technique.☆351Mar 14, 2026Updated 7 months ago
- Slither Detectors by Pessimistic.io☆377Jun 25, 2024Updated 2 years ago
- A collection of smart contract vulnerabilities along with prevention methods☆2,498Feb 8, 2026Updated 8 months ago