web3-audit

Identifies 10 bug classes in DeFi smart contracts using grep patterns and Foundry PoC templates.

1|1|Updated Mar 24, 2026
One-click install
npx skills add https://github.com/guib1/red-team-docker --skill web3-audit-guib1
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: web3-audit
Source: https://github.com/guib1/red-team-docker/tree/main/pentest-lab/.agents/skills/bug-bounty/skills/web3-audit
Command: npx skills add https://github.com/guib1/red-team-docker --skill web3-audit-guib1

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Smart contract security auditing is complex and time-consuming; this skill provides a structured framework that catalogs 10 DeFi bug classes (accounting desync, access control, incomplete path, off-by-one, oracle, ERC4626, reentrancy, flash loan, signature replay, proxy), pre-dive kill signals, a Foundry PoC template, and grep patterns to accelerate detection and reproduction of vulnerabilities.

Core Features & Use Cases

  • Ten bug classes with explicit patterns and remediation guidance.
  • Pre-dive kill signals to triage risk before deep code review.
  • Foundry PoC template to reproduce and validate vulnerabilities.
  • Grep patterns for each class to speed up scans and evidence collection.
  • Real Immunefi paid examples to illustrate severity and payouts.
  • Use Case: apply to Solidity and Rust DeFi contracts to rapidly identify, classify, and demonstrate vulnerabilities.

Quick Start

Run the Foundry PoC template against your Solidity project and grep the codebase for the ten identified vulnerability classes.

Frequently Asked Questions about web3-audit

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I audit smart contracts for DeFi vulnerabilities?

To audit smart contracts for DeFi vulnerabilities, catalog and analyze codebases against 10 known bug classes, apply pre-dive kill signals for risk triage, and use grep patterns to accelerate evidence collection across Solidity and Rust targets.

What are the most common DeFi smart contract bug classes?

Common DeFi smart contract bug classes include accounting desync, access control, incomplete path, off-by-one, oracle, ERC4626, reentrancy, flash loan, signature replay, and proxy vulnerabilities, each with explicit detection patterns and remediation guidance.

How do I reproduce a smart contract vulnerability with a Foundry PoC?

Reproduce a smart contract vulnerability with a Foundry PoC by applying the provided Foundry template against your Solidity project to validate and demonstrate findings mapped to specific DeFi bug classes during security audits.

Can I use grep patterns to find reentrancy and oracle bugs in Solidity?

Yes, you can use grep patterns to find reentrancy and oracle bugs in Solidity by scanning codebases for the ten identified vulnerability classes, speeding up detection and evidence collection before deep code review.

Do I need Foundry installed to audit smart contracts for DeFi security?

Yes, you need Foundry installed as part of a standard audit setup, access to contract sources, and familiarity with grep-based pattern searches to map findings to bug classes and run Proof of Concept templates.

How are Immunefi paid examples used to benchmark smart contract severity?

Immunefi paid examples are used to benchmark smart contract severity by illustrating real vulnerability payouts, enabling auditors to map reproduced findings to historical bounties and assess exploit impact accurately.