What problem does it solve? Security audits fail or stall when codebases arrive unprepared: unresolved static analysis findings, low test coverage, dead code, missing build instructions, and absent documentation force auditors to waste time on issues that could have been fixed beforehand. ## Core Features & Use Cases - Review Goal Setting: Documents security objectives, areas of concern, worst-case scenarios, and questions for auditors. - Static Analysis & Cleanup: Runs Slither for Solidity, dylint for Rust, golangci-lint for Go, plus CodeQL and Semgrep, then triages findings and removes dead code. - Documentation Generation: Produces flowcharts, sequence diagrams, user stories, actor/privilege maps, glossaries, and NatSpec function documentation. - Use Case: Two weeks before a Trail of Bits audit of a Solidity DeFi protocol, use this Skill to run Slither, measure Forge test coverage, freeze an audit branch, and generate a complete prep package with architecture diagrams and build instructions. ## Quick Start Help me prepare my Solidity codebase for an upcoming security audit by running static analysis and generating the audit prep checklist.
