Get a token-efficient overview of any project using the TLDR stack
Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates
Environment Triage
Search library documentation and code examples via Nia
Agent Orchestration Rules
AST-based code search and refactoring via ast-grep MCP
Goal-based workflow orchestration - routes tasks to specialist agents based on user goals
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
Full 5-layer analysis of a specific function. Use when debugging or deeply understanding code.
QLTY During Development
A complete skill for E2E testing
LLM Tuning Patterns
Store a learning, pattern, or decision in the memory system for future recall
Search Tool Hierarchy
Search Mathlib for lemmas by type signature pattern
Choose the right search tool for each query type
Index at Creation Time
Find unused functions and dead code in the codebase
Async REPL Protocol
Resume work from handoff document with context analysis and validation