MCP Script Rules
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Query the memory system for relevant learnings from past sessions
Debug issues by investigating logs, database state, and git history
Scrape web pages and extract content via Firecrawl MCP
Planning agent that creates implementation plans and handoffs from conversation context
Formal theorem proving with research, testing, and verification phases
Upgrade any skill to v5 Hybrid format using decision theory + modal logic
Search Mathlib for lemmas by type signature pattern
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
Environment Triage
Skill Development Rules
Guide to the math cognitive stack - what tools exist and when to use each
Implement technical plans from thoughts/shared/plans with verification
Parallel Agent Orchestration
Create git commits with user approval and no Claude attribution
Graceful Degradation with Helpful Messages
A complete skill for E2E testing
Router-First Architecture
Background Agent Pings