Analyze DeFi protocol risks, invariants, MEV exposure, and governance patterns.
npx skills add https://github.com/kunallimaye/lib-agents --skill design-defi
Please help me install this Agent Skill. Skill: design-defi Source: https://github.com/kunallimaye/lib-agents/tree/main/skills/design-defi Command: npx skills add https://github.com/kunallimaye/lib-agents --skill design-defi
This Skill addresses the complex challenges of designing secure, composable, and economically sound Decentralized Finance (DeFi) protocols, mitigating common risks and anti-patterns.
Use the design-defi skill to analyze the attack surface of a new AMM protocol.
High-intent search queries and answers about installing and using this skill.
To design secure DeFi protocols, you need structured frameworks that analyze economic security, invariant design, and MEV exposure. This approach identifies potential vulnerabilities like flash loan attacks and liquidation cascades, ensuring systemic stability.
Common DeFi anti-patterns involve composability risks, governance vulnerabilities, and tokenomics constraints. You can mitigate these protocol risks by applying structured risk analysis frameworks to identify attack surfaces and enforce robust invariants.
You need to analyze MEV exposure during the protocol design phase to prevent economic exploitation. Evaluating MEV exposure alongside governance patterns and economic security helps identify attack surfaces and build robust invariants for composability.
Defining robust invariants for a lending protocol requires analyzing its economic security against liquidation cascades and flash loan attacks. Frameworks for protocol design guide the creation of invariants crucial for stability and risk mitigation.
The best way to analyze composability risks in DeFi systems is to evaluate the protocol's attack surface using structured risk analysis. This process examines MEV exposure, economic security, and tokenomics constraints to mitigate anti-patterns.
Yes, protocol design frameworks are applicable for AMM protocol risk analysis. They provide structured approaches to analyze the attack surface, evaluate economic security, and define invariants that mitigate vulnerabilities specific to automated market makers.
multiversxVerify MultiversX smart contracts against specifications, whitepapers, and MIPs.
protofireAudit smart contracts with Slither, Echidna, and Foundry fuzz testing.
mitchuskiOptimize paths to minimize information leakage in adversarial environments.
rajyeole6Audit smart contracts for reentrancy, oracle manipulation, and access control vulnerabilities.
