Debug issues by investigating logs, database state, and git history
Index at Creation Time
Graceful Degradation with Helpful Messages
Scrape web pages and extract content via Firecrawl MCP
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
A complete skill for E2E testing
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
Formal theorem proving with research, testing, and verification phases
Create or update continuity ledger for state preservation across clears
Never Use TaskOutput
Environment Triage
Agent Orchestration Rules
Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates
Query the memory system for relevant learnings from past sessions
Guide to the math cognitive stack - what tools exist and when to use each
Search Mathlib for lemmas by type signature pattern
Idempotent Redundancy
A set of resources to help me write all kinds of internal communications, using the formats that my company likes to use. Claude should use this skill whenever asked to write some sort of internal...
Language-agnostic coding principles for maintainability, readability, and quality. Use when implementing features, refactoring code, or reviewing code quality.
Delegate tasks to Codex CLI to save Claude context