Environment Triage

Unified math capabilities - computation, solving, and explanation. I route to the right tool.

Generate comprehensive PR descriptions following repository templates

Full 5-layer analysis of a specific function. Use when debugging or deeply understanding code.

Identify failure modes before they occur using structured risk analysis

Braintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging

Hook Development Rules

Formal theorem proving with research, testing, and verification phases

Search library documentation and code examples via Nia

Get a token-efficient overview of any project using the TLDR stack

Search Mathlib for lemmas by type signature pattern

Create or update continuity ledger for state preservation across clears

Friendly onboarding when users ask about capabilities

Implement technical plans from thoughts/shared/plans with verification

Problem-solving strategies for contour integrals in complex analysis

Build Python agents with Agentica SDK - @agentic decorator, spawn(), persistence, MCP integration

Never Use TaskOutput

System health check (MOT) for skills, agents, hooks, and memory

Find unused functions and dead code in the codebase

Show users how Continuous Claude works - the opinionated setup with hooks, memory, and coordination