Debug issues by investigating logs, database state, and git history
Validation agent that validates plan tech choices against current best practices
Agent Orchestration Rules
LLM Tuning Patterns
Search Mathlib for lemmas by type signature pattern
Search Tool Hierarchy
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
Research agent for external documentation, best practices, and library APIs via MCP tools
Orchestrator-only workflow for migrating/rewriting codebases with full TDD and agent delegation
TDD workflow for migrations - orchestrate agents, zero main context growth
A complete skill for E2E testing
Search Tool Hierarchy
Environment Triage
Query the memory system for relevant learnings from past sessions
AST-based code search and refactoring via ast-grep MCP
Scrape web pages and extract content via Firecrawl MCP
Create or update continuity ledger for state preservation across clears
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
Idempotent Redundancy
Full 5-layer analysis of a specific function. Use when debugging or deeply understanding code.