Scrape web pages and extract content via Firecrawl MCP
Environment Triage
Index at Creation Time
Guide to the math cognitive stack - what tools exist and when to use each
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
A complete skill for E2E testing
Query the memory system for relevant learnings from past sessions
Background Agent Pings
Hook Development Rules
Search Mathlib for lemmas by type signature pattern
Upgrade any skill to v5 Hybrid format using decision theory + modal logic
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
Agent Context Isolation
Implement technical plans from thoughts/shared/plans with verification
Agent Orchestration Rules
MCP Script Rules
Graceful Degradation with Helpful Messages
Skill Development Rules
Create or update continuity ledger for state preservation across clears
Formal theorem proving with research, testing, and verification phases