Get a token-efficient overview of any project using the TLDR stack

Implement technical plans from thoughts/shared/plans with verification

Problem-solving strategies for continuity in real analysis

Formal theorem proving with research, testing, and verification phases

Hook Development Rules

Search library documentation and code examples via Nia

Analyze Claude Code sessions via Braintrust

Generate comprehensive PR descriptions following repository templates

Full 5-layer analysis of a specific function. Use when debugging or deeply understanding code.

Index at Creation Time

Problem-solving strategies for residues in complex analysis

Identify failure modes before they occur using structured risk analysis

Friendly onboarding when users ask about capabilities

System health check (MOT) for skills, agents, hooks, and memory

Interactive workspace discovery - learn what tools, workflows, agents, and hooks are available

Router-First Architecture

AI-powered web search, research, and reasoning via Perplexity

Semantic search across codebase using LEANN vector index

Completion Check: Verify Infrastructure Is Wired

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