Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic

Formal theorem proving with research, testing, and verification phases

Search Mathlib for lemmas by type signature pattern

Guide to the math cognitive stack - what tools exist and when to use each

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

Create or update continuity ledger for state preservation across clears

A complete skill for E2E testing

Index at Creation Time

Scrape web pages and extract content via Firecrawl MCP

Idempotent Redundancy

Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates

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

Query the memory system for relevant learnings from past sessions

Environment Triage

Validation agent that validates plan tech choices against current best practices

Agent Orchestration Rules

Graceful Degradation with Helpful Messages

Never Use TaskOutput

Claude Code hook system for pre/post tool execution. Triggers on: hooks, PreToolUse, PostToolUse, hook script, tool validation, audit logging.

Inspect GitHub PR checks with gh, pull failing GitHub Actions logs, summarize failure context, then create a fix plan and implement after user approval. Use when a user asks to debug or fix...