---
name: contracts-overview
description: Smart contract audit lane — Solidity/EVM pattern scanner, Slither ingestion, Foundry PoC generation, DeFi attack playbooks.
---

# 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")`
4. `slither_ingest("/workspace/slither.json")`
5. `kg_query(kind="vulnerability", min_severity="high")` to see the highs
6. For each high, generate a Foundry PoC via `foundry_reentrancy_test` etc.
7. `bash("forge test -vvv --match-contract Test_")` to run
8. Promote passing PoCs as validated findings

## Default severity floor
| Impact                         | CVSS / Reward tier |
|--------------------------------|--------------------|
| Loss of user funds             | Critical (9.8+)    |
| Locked funds / permanent DoS   | High (7.5-9.0)     |
| Temporary DoS / griefing       | Medium (5-7)       |
| View-only data leak            | Low (3-5)          |
