Create git commits with user approval and no Claude attribution
Create or update continuity ledger for state preservation across clears
Create handoff document for transferring work to another session
Debug issues by investigating logs, database state, and git history
Generate comprehensive PR descriptions following repository templates
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Search Mathlib for lemmas by type signature pattern
Planning agent that creates implementation plans and handoffs from conversation context