recall-reasoning
Search past reasoning for relevant decisions and approaches
compactness
Problem-solving strategies for compactness in topology
graph-algorithms
Problem-solving strategies for graph algorithms in graph number theory
boundary-value-problems
Problem-solving strategies for boundary value problems in odes pdes
math-model-selector
Routes problems to appropriate mathematical frameworks using expert heuristics
second-order-odes
Problem-solving strategies for second order odes in odes pdes
first-order-odes
Problem-solving strategies for first order odes in odes pdes
monitor-experiment
Monitor Beaker experiments until completion. Use when the user asks to monitor, check, or track a Beaker experiment.
root-finding
Problem-solving strategies for root finding in numerical methods
prime-numbers
Problem-solving strategies for prime numbers in graph number theory
interpolation
Problem-solving strategies for interpolation in numerical methods
numerical-integration
Problem-solving strategies for numerical integration in numerical methods
source-coding
Problem-solving strategies for source coding in information theory
autoresearch-finalize
Finalize an autoresearch session into clean, reviewable branches. Use when asked to "finalize autoresearch", "clean up experiments", or "prepare autoresearch for review".
openspec-archive-change
Archive a completed change in the experimental workflow. Use when the user wants to finalize and archive a change after implementation is complete.
openspec-verify-change
Verify implementation matches change artifacts. Use when the user wants to validate that implementation is complete, correct, and coherent before archiving.
search-related-work
Query the related work index for relevant papers, repos, or comparisons
log-experiment
Append or update an experiment entry in the experiment journal
source-evaluation
Use this skill when presenting information from external sources, citing research, or answering factual questions. Assess source credibility and recency before relying on it.
