Audit Solidity AMM contracts for security
defi-amm-securityskillsetup L1★0
Sheshiyer/skill-clusters ↗What it does
Audit Solidity AMM contracts for DeFi vulnerabilities
Best for
Auditing or writing an AMM, liquidity pool, or swap contract to catch reentrancy, CEI violations, donation attacks.
Inputs
- · Solidity contract code
- · Liquidity pool or swap function
Outputs
- · Security checklist violations
- · Hardened code patterns
- · Static analysis findings
Requires
- · Solidity compiler
- · Slither
- · Echidna fuzzer
Preconditions
Solidity 0.8+; AMM/LP contract exists; understanding of reentrancy, CEI, donation attacks
Failure modes
- · Fuzzing timeouts on 10k+ runs
- · Slither false positives on complex control flow
- · Oracle manipulation edge cases
Trust signals
- · SafeERC20 patterns provided
- · CEI ordering examples
- · TWAP vs spot price oracle guidance
- · Admin control checklist