Search Mathlib for lemmas by type signature pattern

Graceful Degradation with Helpful Messages

TDD workflow for migrations - orchestrate agents, zero main context growth

Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates

Fast codebase search via WarpGrep (20x faster than grep)

Index at Creation Time

Search GitHub code, repositories, issues, and PRs via MCP

Spawn Agentica multi-agent patterns

Create or update continuity ledger for state preservation across clears

Full 5-layer analysis of a specific function. Use when debugging or deeply understanding code.

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

Resume work from handoff document with context analysis and validation

Use RepoPrompt CLI for token-efficient codebase exploration

Formal theorem proving with research, testing, and verification phases

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

AST-based code search and refactoring via ast-grep MCP

Code quality checks, formatting, and metrics via qlty CLI

Bridges asset requirements from motion design specs to production-ready assets. Parses specs for required assets, recommends free/paid sources, provides format conversion guidance, generates...

Comprehensive project planning and documentation generator for software projects. Creates structured requirements documents, system design documents, and task breakdown plans with implementation...

Improves the quality of images, especially screenshots, by enhancing resolution, sharpness, and clarity. Perfect for preparing images for presentations, documentation, or social media posts.