What problem does it solve?
This Skill automates the initial reconnaissance phase of smart contract auditing by analyzing project documentation to quickly understand protocol mechanics, identify critical invariants, and map trust assumptions.
Core Features & Use Cases
- Documentation Discovery: Automatically finds and prioritizes relevant documentation files (READMEs, SECURITY.md, whitepapers, etc.).
- Invariant Extraction: Identifies explicit and infers implicit invariants that the protocol must uphold.
- Trust Assumption Mapping: Details who is trusted, for what actions, and what safeguards are in place.
- Use Case: When auditing a new DeFi protocol, use this Skill to rapidly generate a summary of its core logic, security assumptions, and potential weak points directly from its documentation, significantly speeding up the auditor's understanding.
Quick Start
Analyze the documentation for the current project to identify core invariants and trust assumptions.