matrices
Problem-solving strategies for matrices in linear algebra
vector-spaces
Problem-solving strategies for vector spaces in linear algebra
math-intuition-builder
Develops mathematical understanding through examples, visualization, and analogy
math-model-selector
Routes problems to appropriate mathematical frameworks using expert heuristics
math-progress-monitor
Metacognitive check-ins during problem solving - detects when to pivot or persist
environment-triage
Environment Triage
discovery-interview
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
describe-pr
Generate comprehensive PR descriptions following repository templates
predicate-logic
Problem-solving strategies for predicate logic in mathematical logic
proof-theory
Problem-solving strategies for proof theory in mathematical logic
propositional-logic
Problem-solving strategies for propositional logic in mathematical logic
integration-theory
Problem-solving strategies for integration theory in measure theory
lebesgue-measure
Problem-solving strategies for lebesgue measure in measure theory
sigma-algebras
Problem-solving strategies for sigma algebras in measure theory
interpolation
Problem-solving strategies for interpolation in numerical methods
numerical-integration
Problem-solving strategies for numerical integration in numerical methods
root-finding
Problem-solving strategies for root finding in numerical methods
boundary-value-problems
Problem-solving strategies for boundary value problems in odes pdes
first-order-odes
Problem-solving strategies for first order odes in odes pdes
second-order-odes
Problem-solving strategies for second order odes in odes pdes
constrained-optimization
Problem-solving strategies for constrained optimization in optimization
convex-optimization
Problem-solving strategies for convex optimization in optimization
gradient-methods
Problem-solving strategies for gradient methods in optimization
continuity
Problem-solving strategies for continuity in real analysis
convergence
Problem-solving strategies for convergence in real analysis
limits
Problem-solving strategies for limits in real analysis
rudin-real-complex-analysis
Problem-solving with Rudin's Real and Complex Analysis textbook
compactness
Problem-solving strategies for compactness in topology
connectedness
Problem-solving strategies for connectedness in topology
open-sets
Problem-solving strategies for open sets in topology
mcp-chaining
Research-to-implement pipeline chaining 5 MCP tools with graceful degradation
mcp-scripts
MCP Script Rules
migrate
Migration workflow - research → analyze → plan → implement → review
modular-code
Modular Code Organization
morph-apply
Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)
morph-search
Fast codebase search via WarpGrep (20x faster than grep)
mot
System health check (MOT) for skills, agents, hooks, and memory
nia-docs
Search library documentation and code examples via Nia
no-polling-agents
No Polling for Background Agents
no-task-output
Never Use TaskOutput
observe-before-editing
Observe Before Editing
onboard
Analyze brownfield codebase and create initial continuity ledger
opc-architecture
OPC Architecture Understanding
parallel-agent-contracts
Parallel Agent Type Contracts
parallel-agents
Parallel Agent Orchestration
perplexity-search
AI-powered web search, research, and reasoning via Perplexity
pint-compute
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
planning-agent
Planning agent that creates implementation plans and handoffs from conversation context
premortem
Identify failure modes before they occur using structured risk analysis
prove
Formal theorem proving with research, testing, and verification phases
Page 149 of 1745 · 87225 results
