[Skill] Perform thorough code reviews focusing on unused code, duplications, coding patterns, bugs, and optimizations. Use when user wants code reviewed or audited. Read-only - outputs findings...

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

Graceful Degradation with Helpful Messages

Idempotent Redundancy

Search Mathlib for lemmas by type signature pattern

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

Scrape web pages and extract content via Firecrawl MCP

Environment Triage

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

Validation agent that validates plan tech choices against current best practices

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

Query the memory system for relevant learnings from past sessions

Agent Orchestration Rules

Never Use TaskOutput

Formal theorem proving with research, testing, and verification phases

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

Guide for creating effective skills. This skill should be used when users want to create a new skill (or update an existing skill) that extends Claude's capabilities with specialized knowledge,...