AI prompts for web3 security researchers — bug bounties, private audits, and contests
☆23Mar 9, 2026Updated 8 months ago
Alternatives and similar repositories for web3-sec-ai-prompts
Users that are interested in web3-sec-ai-prompts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Skill for move smart contract security auditing.☆24Aug 19, 2026Updated 2 months ago
- A curated collection of high-signal, zero-shot detectors maintained by Zero Cool.☆60Aug 11, 2026Updated 3 months ago
- Fastest EVM bytecode decompiler in the Roman Empire☆12Oct 15, 2026Updated 3 weeks ago
- Obsidian brain for smart contract auditing☆112Jul 8, 2026Updated 4 months ago
- Host-side gauntlet for untrusted code☆31Oct 22, 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.
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆19Oct 29, 2026Updated 2 weeks ago
- Autonomous Audit Agent☆12Sep 30, 2026Updated last month
- Claude Code skill that produces submission-ready Foundry PoCs against mainnet-forked deployed contracts.☆77Apr 23, 2026Updated 6 months ago
- Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to t…☆132Updated this week
- Claude skill for cloning onchain smart contracts with etherscan.☆25Apr 23, 2026Updated 6 months ago
- 18 Claude Code skill files for smart contract security — built from 2,749 Immunefi reports, 681 DeFiHack reproductions, and real hunt exp…☆186Sep 21, 2026Updated last month
- Solidity/EVM smart contract security auditor — 104 vulnerability patterns, 8 tools, 100% CTF + EVMBench benchmark (120/120)☆104Jun 12, 2026Updated 5 months ago
- Evidence-gated local workflow clock: loops repeat work, the clock advances trust.☆16Aug 19, 2026Updated 2 months ago
- ☆19May 6, 2026Updated 6 months ago
- 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.
- Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types☆183Feb 20, 2026Updated 8 months ago
- AI Composer from Certora Labs☆31Oct 21, 2026Updated 3 weeks ago
- AI-powered Sui Move security skills for auditing packages that live in an object-centric runtime, not an EVM account model.☆40Mar 23, 2026Updated 7 months ago
- ☆12Mar 26, 2026Updated 7 months ago
- Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.☆30Jan 27, 2026Updated 9 months ago
- A lightweight, automated multi-model process for rapid agent-skill improvement with adversarial cross-model review.☆19Oct 22, 2026Updated 3 weeks ago
- ☆64Updated this week
- A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types☆110Mar 11, 2026Updated 8 months ago
- Ethernaut challenges solved with foundry / forge solidity scripts☆15Jan 5, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Refinement proofs in Lean for EVM bytecode☆29Oct 26, 2026Updated 2 weeks ago
- Struct-aware fuzzing framework + some fuzzers☆33Apr 13, 2026Updated 7 months ago
- easy POC template generation from the command line☆78Aug 30, 2024Updated 2 years ago
- Call graph-based analysis tools for Solidity smart contracts. Visualize contract interactions, generate Foundry tests, analyze storage p…☆33Oct 4, 2025Updated last year
- A simple P5JSFactory☆12Apr 8, 2023Updated 3 years ago
- ☆26Oct 28, 2026Updated 2 weeks ago
- ☆38Oct 15, 2026Updated 3 weeks ago
- Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle at…☆134Mar 30, 2026Updated 7 months ago
- ☆653Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆96Dec 2, 2025Updated 11 months ago
- Python Based QAM64 MODEM (Modulator - Demodulator) With Scrambler!☆14Jun 27, 2022Updated 4 years ago
- The Inescapable Auditor -- iterative deep-logic security audit agent for Claude Code☆250Mar 16, 2026Updated 7 months ago
- A CLI to setup a full equiped web3 dev container.☆21Aug 20, 2026Updated 2 months ago
- ☆22Apr 12, 2023Updated 3 years ago
- Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…☆11Sep 4, 2023Updated 3 years ago
- The fastest way to understand complex Solidity smart contracts.☆157Sep 4, 2026Updated 2 months ago
Are these results useful?