Problem-solving with Rudin's Real and Complex Analysis textbook

Test-driven development workflow with philosophy guide - plan → write tests → implement → validate

Problem-solving strategies for convex optimization in optimization

Problem-solving strategies for lebesgue measure in measure theory

Search Tool Hierarchy

Problem-solving strategies for proof theory in mathematical logic

Problem-solving strategies for interpolation in numerical methods

Problem-solving strategies for limits in real analysis

Async REPL Protocol

Problem-solving strategies for convergence in real analysis

Analyze Claude Code sessions via Braintrust

Agent Orchestration Rules

Routes problems to appropriate mathematical frameworks using expert heuristics

Problem-solving strategies for sigma algebras in measure theory

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

Problem-solving strategies for connectedness in topology

Wiring Verification

Parallel Agent Orchestration

Document codebase as-is with thoughts directory for historical context

Problem-solving strategies for first order odes in odes pdes