Agent Skills Directory

Semantic search across codebase using LEANN vector index

Problem-solving strategies for lebesgue measure in measure theory

Problem-solving strategies for limits in real analysis

Problem-solving strategies for limits colimits in category theory

Search Mathlib for lemmas by type signature pattern

Unified math capabilities - computation, solving, and explanation. I route to the right tool.

Guide to the math cognitive stack - what tools exist and when to use each

Develops mathematical understanding through examples, visualization, and analogy

Routes problems to appropriate mathematical frameworks using expert heuristics

Metacognitive check-ins during problem solving - detects when to pivot or persist

Deterministic router for math cognitive stack - maps user intent to exact CLI commands

Problem-solving strategies for matrices in linear algebra

Research-to-implement pipeline chaining 5 MCP tools with graceful degradation

Migration workflow - research → analyze → plan → implement → review

Problem-solving strategies for modular arithmetic in graph number theory

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

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

System health check (MOT) for skills, agents, hooks, and memory

Problem-solving strategies for natural transformations in category theory

Search library documentation and code examples via Nia

Problem-solving strategies for numerical integration in numerical methods

Analyze brownfield codebase and create initial continuity ledger

Problem-solving strategies for open sets in topology

Problem-solving strategies for operator theory in functional analysis

AI-powered web search, research, and reasoning via Perplexity

Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic

Planning agent that creates implementation plans and handoffs from conversation context

Problem-solving strategies for predicate logic in mathematical logic

Identify failure modes before they occur using structured risk analysis

Problem-solving strategies for prime numbers in graph number theory

Problem-solving strategies for proof theory in mathematical logic

Problem-solving strategies for propositional logic in mathematical logic

Formal theorem proving with research, testing, and verification phases

Code quality checks, formatting, and metrics via qlty CLI

Query the memory system for relevant learnings from past sessions

Search past reasoning for relevant decisions and approaches

Code refactoring workflow - analyze → plan → implement → review → validate

Check reference SDK implementations using btca ask

Release preparation workflow - security audit → E2E tests → review → changelog → docs

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

Analyze repository structure, patterns, conventions, and documentation for understanding a new codebase

Use RepoPrompt CLI for token-efficient codebase exploration

Document codebase as-is with thoughts directory for historical context

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

External research workflow for docs, web, APIs - NOT codebase exploration

Problem-solving strategies for residues in complex analysis

Resume work from handoff document with context analysis and validation

Comprehensive code review workflow - parallel specialized reviews → synthesis