Formal theorem proving with research, testing, and verification phases

Git Commit Rules

Agent Orchestration Rules

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

Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)

Comprehensive testing workflow - unit tests ∥ integration tests → E2E tests

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

Orchestrator-only workflow for migrating/rewriting codebases with full TDD and agent delegation

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

Ask Claude Code CLI questions about code to understand implementations, architecture, patterns, and debugging. Use when the user asks how code works, where something is implemented, what patterns...

Perform code reviews using Claude Code CLI to identify bugs, security vulnerabilities, performance issues, and code quality problems. Use when the user asks to review code, check for issues,...

Execute development tasks using Claude Code CLI for code generation, refactoring, feature implementation, and bug fixes. Use when the user asks to create code, add features, refactor, fix bugs, or...

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

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

LLM Tuning Patterns

Search Tool Hierarchy

Modular Code Organization

Research agent for external documentation, best practices, and library APIs via MCP tools

Security audit workflow - vulnerability scan → verification

Validation agent that validates plan tech choices against current best practices