What problem does it solve?
This Skill helps prevent critical security failures in Solidity AMM and liquidity-pool contracts by providing a practical checklist for auditing high-risk swap and share-accounting patterns.
Core Features & Use Cases
- Reentrancy protection via CEI: Identify and fix unsafe external-call ordering in withdraw and other balance-releasing flows.
- Safe share/reserve accounting: Detect donation or inflation attacks caused by using raw token balances directly in share math, and replace with internal accounting that measures actual received tokens.
- Oracle, slippage, and admin hardening: Reduce oracle manipulation risk (prefer TWAP), enforce swap output minimums and deadlines, and ensure privileged functions are access-controlled.
Use case: you are reviewing a Uniswap-like AMM that includes deposit/withdraw plus admin fee and oracle update functions, and you want to systematically eliminate exploitable patterns before deployment.
Quick Start
Ask an AI auditor to review your AMM’s Solidity code against the defi-amm-security checklist for reentrancy, share/reserve math safety, oracle manipulation resistance, slippage/deadline enforcement, and admin access control.