parcadei verified

Search Mathlib for lemmas by type signature pattern

Maps questions to the optimal tldr command. Use this to pick the right layer

Generate comprehensive PR descriptions following repository templates

Resume work from handoff document with context analysis and validation

Validation agent that validates plan tech choices against current best practices

Create handoff document for transferring work to another session

Friendly onboarding when users ask about capabilities

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

Store a learning, pattern, or decision in the memory system for future recall

Query the memory system for relevant learnings from past sessions

Show full session token usage, costs, TLDR savings, and hook activity

Debug issues by investigating logs, database state, and git history