Skill Claude Code
Routes problems to appropriate mathematical frameworks using expert heuristics.
not rated 3.9k
+2 7mo ago A SkillSpector: pass 14 tokens
original MIT
3.9kStars on the repository
195Mods indexed here, across every type
7mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Skill Claude Code
Metacognitive check-ins during problem solving - detects when to pivot or persist.
not rated 3.9k
+2 7mo ago A SkillSpector: pass 19 tokens
original MIT
Skill Claude Code
Problem-solving strategies for predicate logic in mathematical logic.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 13 tokens
original MIT
proof-theory
76Skill Claude Code
Problem-solving strategies for proof theory in mathematical logic.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 13 tokens
original MIT
Skill Claude Code
Problem-solving strategies for propositional logic in mathematical logic.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 16 tokens
original MIT
Skill Claude Code
Problem-solving strategies for integration theory in measure theory.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 13 tokens
original MIT
Skill Claude Code
Problem-solving strategies for lebesgue measure in measure theory.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 17 tokens
original MIT
Skill Claude Code
Problem-solving strategies for sigma algebras in measure theory.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 16 tokens
original MIT
Skill Claude Code
Problem-solving strategies for interpolation in numerical methods.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 11 tokens
original MIT
Skill Claude Code
Problem-solving strategies for numerical integration in numerical methods.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 14 tokens
original MIT
root-finding
83Skill Claude Code
Problem-solving strategies for root finding in numerical methods.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 13 tokens
original MIT
Skill Claude Code
Problem-solving strategies for boundary value problems in odes pdes.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 17 tokens
original MIT
Skill Claude Code
Problem-solving strategies for first order odes in odes pdes.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 18 tokens
original MIT
Skill Claude Code
Problem-solving strategies for second order odes in odes pdes.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 18 tokens
original MIT
Skill Claude Code
Problem-solving strategies for constrained optimization in optimization.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 13 tokens
original MIT
Skill Claude Code
Problem-solving strategies for convex optimization in optimization.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 13 tokens
original MIT
Skill Claude Code
Problem-solving strategies for gradient methods in optimization.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 12 tokens
original MIT
continuity
90Skill Claude Code
Problem-solving strategies for continuity in real analysis.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 11 tokens
original MIT
convergence
91Skill Claude Code
Problem-solving strategies for convergence in real analysis.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 11 tokens
original MIT
limits
92Skill Claude Code
Problem-solving strategies for limits in real analysis.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 10 tokens
original MIT
Skill Claude Code needs its repo
Problem-solving with Rudin's Real and Complex Analysis textbook.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 18 tokens
original MIT
compactness
94Skill Claude Code
Problem-solving strategies for compactness in topology.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 11 tokens
original MIT
Skill Claude Code
Problem-solving strategies for connectedness in topology.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 11 tokens
original MIT
open-sets
96Skill Claude Code
Problem-solving strategies for open sets in topology.
not rated 3.9k
+2 7mo ago A SkillSpector: warn 12 tokens
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: