Router-First Architecture
Search Mathlib for lemmas by type signature pattern
Agent Orchestration Rules
Implement technical plans from thoughts/shared/plans with verification
Agentic Workflow Pattern
Index at Creation Time
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
Parallel Agent Orchestration
Create git commits with user approval and no Claude attribution
Idempotent Redundancy
A complete skill for E2E testing
Validation agent that validates plan tech choices against current best practices
Scrape web pages and extract content via Firecrawl MCP
MCP Script Rules
Graceful Degradation with Helpful Messages
Planning agent that creates implementation plans and handoffs from conversation context
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
Show full session token usage, costs, TLDR savings, and hook activity
Skill Development Rules
AI-powered web search, research, and reasoning via Perplexity