Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Debug issues by investigating logs, database state, and git history
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
Scrape web pages and extract content via Firecrawl MCP
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
Background Agent Pings
Create or update continuity ledger for state preservation across clears
Validation agent that validates plan tech choices against current best practices
Never Use TaskOutput
Query the memory system for relevant learnings from past sessions
Hook Development Rules
Search Mathlib for lemmas by type signature pattern
Agent Orchestration Rules
Idempotent Redundancy
Agentic Workflow Pattern
Guide to the math cognitive stack - what tools exist and when to use each
Parallel Agent Orchestration
A complete skill for E2E testing
No Polling for Background Agents
Agent Context Isolation