Analyze AMM and DEX smart contracts for security vulnerabilities.
npx skills add https://github.com/Apegurus/solidity-argus --skill amm-dex
Please help me install this Agent Skill. Skill: amm-dex Source: https://github.com/Apegurus/solidity-argus/tree/main/skills/protocol-patterns/amm-dex Command: npx skills add https://github.com/Apegurus/solidity-argus --skill amm-dex
This Skill addresses critical security vulnerabilities inherent in Automated Market Makers (AMMs) and Decentralized Exchanges (DEXs), helping developers build and audit more robust DeFi protocols.
Use the amm-dex skill to review the security of the provided Uniswap V2-like contract.
High-intent search queries and answers about installing and using this skill.
To audit AMM and DEX smart contracts, you must analyze swap logic for price manipulation, MEV exploitation, LP accounting flaws, and reentrancy. This skill provides checklists and code examples to identify these attack vectors in protocols like Uniswap, Curve, and Balancer.
Common security vulnerabilities in DeFi automated market makers include price manipulation, MEV exploitation, LP accounting flaws, and violations of swap invariants like the constant product formula. Reentrancy attacks specific to protocols like Uniswap and Balancer are also critical risks.
To prevent MEV and price manipulation in Uniswap V2-like contracts, implement slippage protection, use Time-Weighted Average Price (TWAP) oracles, and ensure swap logic correctly maintains the k invariant. This skill provides guidance on these secure implementation patterns.
Yes, this DEX security review covers Curve and Balancer protocols. It analyzes protocol-specific swap invariants, LP accounting mechanisms, and reentrancy vectors inherent to these automated market makers, ensuring robust protection against targeted DeFi exploits.
Best practices for managing LP tokens and slippage in DEXs include implementing robust slippage protection mechanisms, secure LP token accounting, and verifying swap invariant maintenance. This skill offers code examples and checklists to enforce these security patterns.
XSpoonAiAnalyze Solidity smart contracts and generate structured security risk reports.
protofireAudit smart contracts with Slither, Echidna, and Foundry fuzz testing.
mashharukiValidate smart contracts with Foundry fuzz, fork, and invariant testing.
clawdbotatgIdentify and fix security vulnerabilities in Solidity smart contracts.
