What problem does it solve? Codebases accumulate dead code, duplicated logic, and unnecessary abstraction layers over time, making them harder to understand and change. This Skill guides behavior-preserving cleanup so the code gets smaller without breaking anything. ## Core Features & Use Cases - Dead Code Removal: Identifies and deletes unused functions, exports, branches, and variables. - Duplication and Indirection Cuts: Collapses repeated logic and removes abstraction layers that add coupling without improving cohesion. - Behavior-Preserving Verification: Requires running the verify command before and after changes, reporting net lines removed and one line per file changed. - Use Case: After a feature refactor, use this Skill to strip leftover unused exports and merge duplicated helper functions, then prove with tests that behavior is unchanged. ## Quick Start Ask the AI to clean up dead code and duplication in a target module while keeping behavior identical and verifying with the test suite before and after.