Search Tool Hierarchy
Search GitHub code, repositories, issues, and PRs via MCP
Create or update continuity ledger for state preservation across clears
Search Mathlib for lemmas by type signature pattern
Search Tool Hierarchy
No Polling for Background Agents
Async REPL Protocol
Implement technical plans from thoughts/shared/plans with verification
Check reference SDK implementations using btca ask
AST-based code search and refactoring via ast-grep MCP
Search library documentation and code examples via Nia
Agentic Workflow Pattern
Meta-skill for creating and managing Claude Code skills
Git Commit Rules
Observe Before Editing
Braintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging
Query the memory system for relevant learnings from past sessions
Formal theorem proving with research, testing, and verification phases
Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity
QLTY During Development