A checklist and pattern library for auditing Solidity AMM and liquidity pool contracts. Covers the critical vulnerabilities that show up in DeFi protocols: reentrancy guards and CEI ordering, donation attacks from using raw balanceOf in share math, oracle manipulation via spot prices instead of TWAP, missing slippage protection, and overflow-prone reserve calculations. Each section shows a vulnerable pattern next to the hardened version using OpenZeppelin or Uniswap libraries. The security checklist at the end is a good final pass before you ship or before you start a deeper audit. Includes commands for Slither, Echidna, and Foundry fuzzing. This is reference material, not a tutorial, so you'll want some AMM background first.
npx -y skills add affaan-m/ecc --skill defi-amm-security --agent claude-codeInstalls into .claude/skills of the current project.
Select a file.
giuseppe-trisciuoglio/developer-kit