Problem-solving strategies for open sets in topology
Interactive workspace discovery - learn what tools, workflows, agents, and hooks are available
Token-efficient code analysis via 5-layer stack (AST, Call Graph, CFG, DFG, PDG). 95% token savings.
Analyze repository structure, patterns, conventions, and documentation for understanding a new codebase
Guide for integrating Agentica SDK with Claude Code CLI proxy
Problem-solving with Rudin's Real and Complex Analysis textbook
Problem-solving strategies for source coding in information theory
Problem-solving strategies for connectedness in topology
Develops mathematical understanding through examples, visualization, and analogy
Planning agent that creates implementation plans and handoffs from conversation context
Automatically trace Claude Code conversations to Braintrust for observability. Captures sessions, conversation turns, and tool calls as hierarchical traces.
Problem-solving strategies for compactness in topology
Query the memory system for relevant learnings from past sessions
Research agent for external documentation, best practices, and library APIs via MCP tools
Problem-solving strategies for root finding in numerical methods
Problem-solving strategies for convex optimization in optimization
Test-driven development workflow with philosophy guide - plan → write tests → implement → validate
Problem-solving strategies for contour integrals in complex analysis
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity
Wiring Verification
Use RepoPrompt CLI for token-efficient codebase exploration
Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)
Build Python agents with Agentica SDK - @agentic decorator, spawn(), persistence, MCP integration
Analyze brownfield codebase and create initial continuity ledger
Show users how Continuous Claude works - the opinionated setup with hooks, memory, and coordination
Completion Check: Verify Infrastructure Is Wired
AI-powered web search, research, and reasoning via Perplexity
TDD workflow for migrations - orchestrate agents, zero main context growth
Maps questions to the optimal tldr command. Use this to pick the right layer
Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates
Orchestrator-only workflow for migrating/rewriting codebases with full TDD and agent delegation
Migration workflow - research → analyze → plan → implement → review
Document codebase as-is with thoughts directory for historical context
System health check (MOT) for skills, agents, hooks, and memory
Friendly onboarding when users ask about capabilities
Hook Development Rules
Formal theorem proving with research, testing, and verification phases
Search library documentation and code examples via Nia
Full 5-layer analysis of a specific function. Use when debugging or deeply understanding code.
Identify failure modes before they occur using structured risk analysis
Generate comprehensive PR descriptions following repository templates
Braintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging
Get a token-efficient overview of any project using the TLDR stack
Search Mathlib for lemmas by type signature pattern
Never Use TaskOutput
Create or update continuity ledger for state preservation across clears
Explicit Identity Across Boundaries
Environment Triage
Agent Context Isolation
Problem-solving strategies for rings in abstract algebra
Problem-solving strategies for matrices in linear algebra
Problem-solving strategies for convergence in real analysis
Unified math capabilities - computation, solving, and explanation. I route to the right tool.
Find unused functions and dead code in the codebase
Show full session token usage, costs, TLDR savings, and hook activity
Parallel Agent Orchestration
Fast codebase search via WarpGrep (20x faster than grep)
AST-based code search and refactoring via ast-grep MCP
Claude Code CLI commands, flags, headless mode, and automation patterns
Check reference SDK implementations using btca ask
Implement technical plans from thoughts/shared/plans with verification
Implementation agent that executes a single task and creates handoff on completion
Index at Creation Time
Analyze Claude Code sessions via Braintrust
Agent Orchestration Rules
QLTY During Development
Semantic search across codebase using LEANN vector index
Graceful Degradation with Helpful Messages
Implement technical plans from thoughts/shared/plans with verification
Observe Before Editing
Parallel Agent Type Contracts
Routes problems to appropriate mathematical frameworks using expert heuristics
Search Tool Hierarchy
Problem-solving strategies for limits in real analysis
Router-First Architecture
Async REPL Protocol
Problem-solving strategies for groups in abstract algebra
Problem-solving strategies for continuity in real analysis
Problem-solving strategies for residues in complex analysis
Problem-solving strategies for entropy in information theory
Problem-solving strategies for first order odes in odes pdes
Problem-solving strategies for second order odes in odes pdes
Problem-solving strategies for vector spaces in linear algebra
Problem-solving strategies for gradient methods in optimization
Problem-solving strategies for sigma algebras in measure theory
Problem-solving strategies for proof theory in mathematical logic
Problem-solving strategies for lebesgue measure in measure theory
Problem-solving strategies for interpolation in numerical methods