Async REPL Protocol
Index at Creation Time
Parallel Agent Type Contracts
Resume work from handoff document with context analysis and validation
Debug issues by investigating logs, database state, and git history
Agent Orchestration Rules
LLM Tuning Patterns
Never Use TaskOutput
Search Mathlib for lemmas by type signature pattern
TDD workflow for migrations - orchestrate agents, zero main context growth
Code quality checks, formatting, and metrics via qlty CLI
AST-based code search and refactoring via ast-grep MCP
Search Tool Hierarchy
Graceful Degradation with Helpful Messages
QLTY During Development
Research agent for external documentation, best practices, and library APIs via MCP tools
Search library documentation and code examples via Nia
Maps questions to the optimal tldr command. Use this to pick the right layer
Get a token-efficient overview of any project using the TLDR stack
Modular Code Organization