Observe Before Editing

Hook Development Rules

Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)

Formal theorem proving with research, testing, and verification phases

Parallel Agent Type Contracts

Friendly onboarding when users ask about capabilities

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

Braintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging

Problem-solving strategies for groups in abstract algebra

Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity

Guide for integrating Agentica SDK with Claude Code CLI proxy

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

Problem-solving strategies for compactness in topology

TDD workflow for migrations - orchestrate agents, zero main context growth

Problem-solving strategies for source coding in information theory

Routes problems to appropriate mathematical frameworks using expert heuristics

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

Problem-solving strategies for continuity in real analysis

Problem-solving strategies for connectedness in topology

Document codebase as-is with thoughts directory for historical context