smart-contract-auditing

Community

Audit smart contracts to expose real exploits.

Authornirholas
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Smart-contract auditing helps you systematically find vulnerabilities and protocol-level risks so funds and users are not exposed to exploits.

Core Features & Use Cases

  • Adversarial Review Methodology: Build an auditor’s mental model (invariants, state-changing paths, trust boundaries) to reason about how code can break.
  • Vulnerability Taxonomy & Triage: Identify common classes like reentrancy, oracle manipulation, access control failures, integer math issues, and upgrade/storage collisions.
  • Actionable Audit Deliverables: Produce findings with severity classification (Critical/High/Medium/Low/Informational), evidence, impact analysis, and clear remediation guidance, including DeFi-specific checks for lending, AMMs/DEXes, vaults (ERC-4626), and stablecoin designs.

Quick Start

Use this skill to generate a full smart-contract audit plan and a prioritized vulnerability checklist for a DeFi lending protocol given its core contracts and documented invariants.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: smart-contract-auditing
Download link: https://github.com/nirholas/three-ui/archive/main.zip#smart-contract-auditing

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.