Deterministic router for math cognitive stack - maps user intent to exact CLI commands

Search Mathlib for lemmas by type signature pattern

Background Agent Pings

Scrape web pages and extract content via Firecrawl MCP

Skill Development Rules

Debug issues by investigating logs, database state, and git history

Show full session token usage, costs, TLDR savings, and hook activity

Graceful Degradation with Helpful Messages

Router-First Architecture

Hook Development Rules

Create git commits with user approval and no Claude attribution

Planning agent that creates implementation plans and handoffs from conversation context

A complete skill for E2E testing

Create or update continuity ledger for state preservation across clears

AI-powered web search, research, and reasoning via Perplexity

No Polling for Background Agents

Query the memory system for relevant learnings from past sessions

Agent Context Isolation

Upgrade any skill to v5 Hybrid format using decision theory + modal logic

Search past reasoning for relevant decisions and approaches