A curated list of resources for formal verification with Certora Prover (EVM/Stellar/Solana/Sui).
☆34Oct 11, 2026Updated 2 weeks ago
Alternatives and similar repositories for fv-resources
Users that are interested in fv-resources are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Aug 10, 2026Updated 2 months ago
- A lightweight, automated multi-model process for rapid agent-skill improvement with adversarial cross-model review.☆19Oct 22, 2026Updated last week
- A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).☆256Jul 21, 2026Updated 3 months ago
- ☆75Aug 7, 2026Updated 2 months ago
- ☆37Feb 19, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆25Oct 5, 2026Updated 3 weeks ago
- Valantis Stake Exchange AMM☆12Mar 26, 2026Updated 7 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆60Jan 18, 2026Updated 9 months ago
- ☆15Oct 16, 2024Updated 2 years ago
- Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types☆183Feb 20, 2026Updated 8 months ago
- Obsidian brain for smart contract auditing☆112Jul 8, 2026Updated 3 months ago
- This repository contains a curated collection of resources focused on auditing Move smart contracts. It includes tools, best practices, c…☆160Apr 2, 2026Updated 6 months ago
- This repository comprises of everything you need to know about Solidity proxies, upgradeable smart contracts and their security.☆18Jun 3, 2024Updated 2 years ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆133May 28, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Claude Code skill that produces submission-ready Foundry PoCs against mainnet-forked deployed contracts.☆77Apr 23, 2026Updated 6 months ago
- Primers for Specialist AI Smart Contract Auditors☆270Dec 16, 2025Updated 10 months ago
- ☆68Dec 22, 2023Updated 2 years ago
- Smart contract security researcher — profile README☆19Sep 18, 2026Updated last month
- A curated list of smart contracts security audits checklists and resources.☆333Feb 4, 2026Updated 8 months ago
- A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types☆108Mar 11, 2026Updated 7 months ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆194Feb 1, 2025Updated last year
- My publicly available audit and bug reports☆17Mar 6, 2026Updated 7 months ago
- Benchmark suite for smart-contract fuzzers☆17Sep 7, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Move Vulnerability Database☆91Jul 12, 2026Updated 3 months ago
- End-to-end agentic smart contract fuzzing and threat hunting☆108Updated this week
- AI-powered Sui Move security skills for auditing packages that live in an object-centric runtime, not an EVM account model.☆39Mar 23, 2026Updated 7 months ago
- Reproduce ZKP vulnerabilities☆351Sep 30, 2026Updated last month
- AI Agent Skills, Goals and Dynamic Workflows for Security Auditing, Pentesting and Research☆153Updated this week
- A fully static, backend-free, in-browser EVM exploit debugger.☆35Jul 22, 2026Updated 3 months ago
- Claude Code skills for smart contract security — by CD Security☆55Apr 8, 2026Updated 6 months ago
- A curated list of auditing resources.☆127Jul 21, 2026Updated 3 months ago
- ☆54Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A public collection of EVM exploit proof-of-concept (PoC) archives for security research, education, and tooling. These PoCs are generat…☆29Oct 14, 2026Updated 2 weeks ago
- ☆68Feb 4, 2026Updated 8 months ago
- Audits and security reviews that I've made throughout the years☆12Dec 7, 2025Updated 10 months ago
- A curated, verified list of AI-powered tools for smart contract and blockchain security☆118Apr 24, 2026Updated 6 months ago
- ☆63Oct 16, 2026Updated last week
- Solo High severity findings from contests 2024☆31Dec 23, 2024Updated last year
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆339Updated this week