math-intuition-builder
Develops mathematical understanding through examples, visualization, and analogy
modular-arithmetic
Problem-solving strategies for modular arithmetic in graph number theory
morph-search
Fast codebase search via WarpGrep (20x faster than grep)
open-sets
Problem-solving strategies for open sets in topology
connectedness
Problem-solving strategies for connectedness in topology
first-order-odes
Problem-solving strategies for first order odes in odes pdes
fix
Meta-skill workflow orchestrator for bug investigation and resolution. Routes to debug, implement, test, and commit based on scope.
prime-numbers
Problem-solving strategies for prime numbers in graph number theory
prove
Formal theorem proving with research, testing, and verification phases
commit
Create git commits with user approval and no Claude attribution
agentica-sdk
Build Python agents with Agentica SDK - @agentic decorator, spawn(), persistence, MCP integration
help
Interactive workspace discovery - learn what tools, workflows, agents, and hooks are available
proof-theory
Problem-solving strategies for proof theory in mathematical logic
migrate
Migration workflow - research → analyze → plan → implement → review
discovery-interview
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
repoprompt
Use RepoPrompt CLI for token-efficient codebase exploration
braintrust-tracing
Braintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging
dead-code
Find unused functions and dead code in the codebase
groups
Problem-solving strategies for groups in abstract algebra
loogle-search
Search Mathlib for lemmas by type signature pattern
math-progress-monitor
Metacognitive check-ins during problem solving - detects when to pivot or persist
onboard
Analyze brownfield codebase and create initial continuity ledger
nia-docs
Search library documentation and code examples via Nia
implement_plan
Implement technical plans from thoughts/shared/plans with verification
refactor
Code refactoring workflow - analyze → plan → implement → review → validate
leann-search
Semantic search across codebase using LEANN vector index
graceful-degradation
Graceful Degradation with Helpful Messages
pint-compute
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
natural-transformations
Problem-solving strategies for natural transformations in category theory
qlty-check
Code quality checks, formatting, and metrics via qlty CLI
hilbert-spaces
Problem-solving strategies for hilbert spaces in functional analysis
research-agent
Research agent for external documentation, best practices, and library APIs via MCP tools
morph-apply
Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)
braintrust-analyze
Analyze Claude Code sessions via Braintrust
residues
Problem-solving strategies for residues in complex analysis
agentica-claude-proxy
Guide for integrating Agentica SDK with Claude Code CLI proxy
compactness
Problem-solving strategies for compactness in topology
convex-optimization
Problem-solving strategies for convex optimization in optimization
implement_task
Implementation agent that executes a single task and creates handoff on completion
completion-check
Completion Check: Verify Infrastructure Is Wired
math-model-selector
Routes problems to appropriate mathematical frameworks using expert heuristics
constrained-optimization
Problem-solving strategies for constrained optimization in optimization
numerical-integration
Problem-solving strategies for numerical integration in numerical methods
graph-algorithms
Problem-solving strategies for graph algorithms in graph number theory
implement_plan_micro
Implement technical plans from thoughts/shared/plans with verification
agentica-infrastructure
Reference guide for Agentica multi-agent infrastructure APIs
perplexity-search
AI-powered web search, research, and reasoning via Perplexity
premortem
Identify failure modes before they occur using structured risk analysis
math-router
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
boundary-value-problems
Problem-solving strategies for boundary value problems in odes pdes
Page 3 of 4 · 156 results