Problem-solving strategies for sigma algebras in measure theory

Problem-solving strategies for second order odes in odes pdes

Problem-solving strategies for proof theory in mathematical logic

Problem-solving strategies for interpolation in numerical methods

Problem-solving strategies for first order odes in odes pdes

AST-based code search and refactoring via ast-grep MCP

Parallel Agent Type Contracts

Routes problems to appropriate mathematical frameworks using expert heuristics

Problem-solving strategies for lebesgue measure in measure theory

Problem-solving strategies for convex optimization in optimization

Problem-solving strategies for matrices in linear algebra

Parallel Agent Orchestration

Claude Code CLI commands, flags, headless mode, and automation patterns

Fast codebase search via WarpGrep (20x faster than grep)

Graceful Degradation with Helpful Messages

Problem-solving strategies for continuity in real analysis

Document codebase as-is with thoughts directory for historical context

Problem-solving strategies for groups in abstract algebra

Search Tool Hierarchy

Problem-solving strategies for limits in real analysis