Skill Development Rules
Create git commits with user approval and no Claude attribution
Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates
Upgrade any skill to v5 Hybrid format using decision theory + modal logic
Parallel Agent Orchestration
Show full session token usage, costs, TLDR savings, and hook activity
Search Mathlib for lemmas by type signature pattern
No Polling for Background Agents
Idempotent Redundancy
Index at Creation Time
MCP Script Rules
Query the memory system for relevant learnings from past sessions
Agent Context Isolation
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Graceful Degradation with Helpful Messages
A complete skill for E2E testing
Background Agent Pings
Debug issues by investigating logs, database state, and git history
Agentic Workflow Pattern
Scrape web pages and extract content via Firecrawl MCP