Agent Context Isolation

Problem-solving strategies for rings in abstract algebra

Problem-solving strategies for matrices in linear algebra

Guide for integrating Agentica SDK with Claude Code CLI proxy

Use RepoPrompt CLI for token-efficient codebase exploration

Problem-solving strategies for connectedness in topology

Research agent for external documentation, best practices, and library APIs via MCP tools

Find unused functions and dead code in the codebase

Search Mathlib for lemmas by type signature pattern

Never Use TaskOutput

Get a token-efficient overview of any project using the TLDR stack

Create or update continuity ledger for state preservation across clears

Explicit Identity Across Boundaries

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

Problem-solving strategies for convergence in real analysis

Wiring Verification

Identify failure modes before they occur using structured risk analysis

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

Generate comprehensive PR descriptions following repository templates

Environment Triage