web3-audit

Triage DeFi audit targets and identify smart contract vulnerability classes.

2|Updated Apr 11, 2025
One-click install
npx skills add https://github.com/Carlos-Reyes-UTP/Desarrollo-de-Sistema-de-Ventas-Empresas-de-Moda --skill web3-audit-carlos-reyes-utp
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: web3-audit
Source: https://github.com/Carlos-Reyes-UTP/Desarrollo-de-Sistema-de-Ventas-Empresas-de-Moda/tree/main/.agent/skills/web3-audit
Command: npx skills add https://github.com/Carlos-Reyes-UTP/Desarrollo-de-Sistema-de-Ventas-Empresas-de-Moda --skill web3-audit-carlos-reyes-utp

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

It helps you quickly evaluate and audit smart contracts for high-impact vulnerabilities that commonly lead to real losses.

Core Features & Use Cases

  • Pre-dive kill signals: fast ROI/engagement gating using TVL, prior top-tier audits, protocol complexity, and bounty floor heuristics.
  • 10 DeFi bug classes: structured checklists covering accounting state desync, access control failures, incomplete code paths, off-by-one/boundary errors, oracle/price manipulation, ERC4626 vault attacks, reentrancy, flash-loan exploitation, signature replay, and proxy/upgrade issues.
  • Concrete audit mechanics: grep patterns for rapid codebase scanning plus a Foundry PoC template to turn hypotheses into reproducible proofs.
  • Paid-example grounding: real Immunefi-style examples to calibrate what to look for and how it gets exploited.

Quick Start

Ask your AI to run a web3-audit of your Solidity contracts by applying the pre-dive kill signals, then generating grep-based checks for all 10 bug classes and outlining a single Foundry test PoC plan for the highest-probability issue.

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 security vulnerabilities?

Smart contract audit processes involve triaging DeFi targets with pre-dive kill signals to gauge ROI, then scanning codebases using grep patterns to detect 10 common bug classes like reentrancy and oracle manipulation before deep review.

What are the most common DeFi exploit primitives I should check for?

Common DeFi exploit primitives include accounting state desync, access control failures, oracle manipulation, reentrancy, flash-loan exploitation, signature replay, and proxy upgrade issues. You should systematically check for these 10 bug classes during threat modeling.

How do I use Foundry to create a proof of concept for a smart contract vulnerability?

You use a Foundry PoC template to turn vulnerability hypotheses into reproducible proofs of concept. After identifying a potential exploit using grep patterns, outline a single Foundry test plan to validate the highest-probability issue.

Can I use grep patterns to find reentrancy and flash-loan vulnerabilities in Solidity?

Yes, you can use bug-class-specific grep patterns for rapid codebase scanning to find reentrancy, flash-loan exploitation, and other Solidity vulnerabilities. These concrete audit mechanics help identify risky code paths quickly.

How do I evaluate if a DeFi protocol is worth auditing for an Immunefi bounty?

You evaluate DeFi protocols for Immunefi bounties by applying pre-dive kill signals that use TVL, prior top-tier audits, protocol complexity, and bounty floor heuristics. This fast ROI gating determines if the target is worth a deep review.

Does this smart contract audit approach work with Rust protocols or only Solidity?

This audit approach applies to both Solidity or Rust contract audits. It uses YAML-guided operational steps to threat-model DeFi protocols and prepare Immunefi-style investigations across common exploit primitives for either language.