Obsidian brain for smart contract auditing
☆111Jul 8, 2026Updated 3 months ago
Alternatives and similar repositories for AuditVault
Users that are interested in AuditVault are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆75Aug 7, 2026Updated 2 months ago
- A curated collection of high-signal, zero-shot detectors maintained by Zero Cool.☆60Aug 11, 2026Updated 2 months ago
- ☆37Feb 19, 2026Updated 8 months ago
- AI auditor for blockchain/DLT☆39Jun 9, 2026Updated 4 months ago
- Per-entry-point, navigable call-graph visualizations of Solidity repositories — for Web3 security auditors.☆46Jul 17, 2026Updated 3 months 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.
- ☆37Oct 15, 2026Updated last week
- Pashov Audit Group Skills☆1,282Updated this week
- ☆25Oct 5, 2026Updated 2 weeks ago
- AI prompts for web3 security researchers — bug bounties, private audits, and contests☆22Mar 9, 2026Updated 7 months ago
- Claude Code skill that produces submission-ready Foundry PoCs against mainnet-forked deployed contracts.☆76Apr 23, 2026Updated 6 months ago
- Claude Code skills for smart contract security — by CD Security☆54Apr 8, 2026Updated 6 months ago
- A curated, verified list of AI-powered tools for smart contract and blockchain security☆115Apr 24, 2026Updated 5 months ago
- Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types☆183Feb 20, 2026Updated 8 months ago
- A curated list of resources for formal verification with Certora Prover (EVM/Stellar/Solana/Sui).☆34Oct 11, 2026Updated last week
- 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.
- AI Agent Skills, Goals and Dynamic Workflows for Security Auditing, Pentesting and Research☆153Updated this week
- Claude Code skills for Solidity security auditing. 90% precision across 40 blind Code4rena contests. Zero API cost.☆25Sep 29, 2026Updated 3 weeks ago
- ☆50Updated this week
- The fastest way to understand complex Solidity smart contracts.☆156Sep 4, 2026Updated last month
- MCP server for searching Solodit smart contract security findings☆159Apr 23, 2026Updated 6 months ago
- Audits and security reviews that I've made throughout the years☆12Dec 7, 2025Updated 10 months ago
- 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
- The Inescapable Auditor -- iterative deep-logic security audit agent for Claude Code☆247Mar 16, 2026Updated 7 months ago
- A self-contained, offline-runnable archive of DeFi exploit proof-of-concepts spanning the full history of EVM hacks (2017 → 2026)☆62Oct 14, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Ethereum protocol engineering squad for AI coding assistants☆131Sep 30, 2026Updated 3 weeks ago
- Primers for Specialist AI Smart Contract Auditors☆270Dec 16, 2025Updated 10 months ago
- A cognitive playbook for experienced smart contract auditors. Structures audit thinking, exploration, validation, and reporting. Not an a…☆39Jan 23, 2026Updated 9 months ago
- ☆612Updated this week
- Weekly Solana smart contract security competition, audit programs, find bugs, and build your on-chain security track record.☆122Sep 28, 2026Updated 3 weeks ago
- Oracle price manipulation via illiquid `SDEX` order book feeding `Reflector` oracle☆13May 4, 2026Updated 5 months ago
- Solidity smart contract auditor leveraging static analysis, Solodit findings and Map, Hunt, Attack strategy☆127Mar 13, 2026Updated 7 months ago
- Autonomous Web3 security audit agent for Claude Code☆308Sep 26, 2026Updated 3 weeks ago
- Reproduce ZKP vulnerabilities☆351Sep 30, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Multi-stage Rust binary analysis pipeline (warper -> marinator -> signer -> flower)☆27May 18, 2026Updated 5 months ago
- End-to-end agentic smart contract fuzzing and threat hunting☆106Oct 16, 2026Updated last week
- A static analysis tool for rust, anchor, stylus, and solidity smart contracts.☆154Sep 7, 2026Updated last month
- Resources to learn Wallet Security☆63Aug 17, 2025Updated last year
- High-performance Solana Program Fuzzer written in Rust with LibAFL/LiteSVM backend with sBPF edge coverage and state coverage☆72Sep 28, 2026Updated 3 weeks ago
- Zigtur's audit reports for private clients☆46Sep 21, 2026Updated last month
- A fully static, backend-free, in-browser EVM exploit debugger.☆35Jul 22, 2026Updated 3 months ago