Problem-solving strategies for contour integrals in complex analysis

Problem-solving strategies for continuity in real analysis

Problem-solving strategies for second order odes in odes pdes

Analyze Claude Code sessions via Braintrust

Implement technical plans from thoughts/shared/plans with verification

Problem-solving strategies for lebesgue measure in measure theory

Problem-solving strategies for vector spaces in linear algebra

Problem-solving strategies for interpolation in numerical methods

Develops mathematical understanding through examples, visualization, and analogy

Analyze brownfield codebase and create initial continuity ledger

Search Mathlib for lemmas by type signature pattern

Show users how Continuous Claude works - the opinionated setup with hooks, memory, and coordination

Search Tool Hierarchy

Problem-solving strategies for limits in real analysis

Analyze repository structure, patterns, conventions, and documentation for understanding a new codebase

Semantic search across codebase using LEANN vector index

Problem-solving strategies for convex optimization in optimization

Routes problems to appropriate mathematical frameworks using expert heuristics

Async REPL Protocol

Maps questions to the optimal tldr command. Use this to pick the right layer