Show full session token usage, costs, TLDR savings, and hook activity
Index at Creation Time
Idempotent Redundancy
Parallel Agent Orchestration
Create git commits with user approval and no Claude attribution
MCP Script Rules
Formal theorem proving with research, testing, and verification phases
Create or update continuity ledger for state preservation across clears
Query the memory system for relevant learnings from past sessions
A complete skill for E2E testing
Search Mathlib for lemmas by type signature pattern
Guide to the math cognitive stack - what tools exist and when to use each
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
No Polling for Background Agents
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Hook Development Rules
Search past reasoning for relevant decisions and approaches
Router-First Architecture
Agentic Workflow Pattern
Never Use TaskOutput