contracts-overview

name	contracts-overview
description	Smart contract audit lane — Solidity/EVM pattern scanner, Slither ingestion, Foundry PoC generation, DeFi attack playbooks.
metadata	{"subdomain":"smart-contracts","when_to_use":"smart contract solidity evm slither foundry defi audit lane overview routing","mitre_attack":["T1190","T1565","T1565.001"]}

Smart Contract Audit Catalog

Playbooks

Skill	Use for
/skills/standard/contracts/reentrancy/SKILL.md	Classic + read-only reentrancy
/skills/standard/contracts/oracle-manipulation/SKILL.md	Single-block TWAP / spot price abuse
/skills/standard/contracts/flash-loan/SKILL.md	Flash-loan callback + unauth gadgets
/skills/standard/contracts/access-control/SKILL.md	Missing modifiers, wrong msg.sender
/skills/standard/contracts/upgradeable-proxy/SKILL.md	Uninitialized impl, storage clash
/skills/standard/contracts/signature-replay/SKILL.md	Cross-chain, ecrecover zero address

Workflow

1. Map the target: bash("find /workspace/src -name '*.sol' | head -50")
2. solidity_scan_file on each file
3. Run slither: bash("cd /workspace && slither . --json slither.json")