Environment Triage
Create git commits with user approval and no Claude attribution
Search Mathlib for lemmas by type signature pattern
Planning agent that creates implementation plans and handoffs from conversation context
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
Guide to the math cognitive stack - what tools exist and when to use each
Debug issues by investigating logs, database state, and git history
Formal theorem proving with research, testing, and verification phases
A complete skill for E2E testing
Parallel Agent Orchestration
Index at Creation Time
Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates
Upgrade any skill to v5 Hybrid format using decision theory + modal logic
Hook Development Rules
Scrape web pages and extract content via Firecrawl MCP
No Polling for Background Agents
Agentic Workflow Pattern
Show full session token usage, costs, TLDR savings, and hook activity
Router-First Architecture
Query the memory system for relevant learnings from past sessions