Orchestrator-only workflow for migrating/rewriting codebases with full TDD and agent delegation
A complete skill for E2E testing
Search Mathlib for lemmas by type signature pattern
Research agent for external documentation, best practices, and library APIs via MCP tools
Check reference SDK implementations using btca ask
Graceful Degradation with Helpful Messages
Async REPL Protocol
AST-based code search and refactoring via ast-grep MCP
Guide to the math cognitive stack - what tools exist and when to use each
Search GitHub code, repositories, issues, and PRs via MCP
Search Tool Hierarchy
QLTY During Development
Create handoff document for transferring work to another session
Agent Orchestration Rules
Parallel Agent Type Contracts
Spawn Agentica multi-agent patterns
Find unused functions and dead code in the codebase
Modular Code Organization
Get a token-efficient overview of any project using the TLDR stack
Use RepoPrompt CLI for token-efficient codebase exploration