Agent skill

math

Multi-layer cognitive stack for machine-verified mathematical problem solving across 14 sub-disciplines.

Stars 163
Forks 31

Install this agent skill to your Project

npx add-skill https://github.com/majiayu000/claude-skill-registry/tree/main/skills/other/other/math

SKILL.md

Math Cognitive Stack

A structured collection of skills for mathematical reasoning, proof construction, and problem solving.

Sub-Skills

Directory Topic
abstract-algebra Groups, rings, fields, homomorphisms
category-theory Functors, natural transformations, adjoints
complex-analysis Holomorphic functions, contour integration
functional-analysis Banach/Hilbert spaces, operators
graph-number-theory Graph theory and number-theoretic results
information-theory Entropy, channel capacity, coding
linear-algebra Vector spaces, matrices, eigenvalues
math-intuition-builder Build intuition before formalization
math-model-selector Choose the right mathematical model
math-progress-monitor Track proof progress and open goals
mathematical-logic Propositional and first-order logic, proofs
measure-theory Sigma-algebras, integration, probability foundations
numerical-methods Approximation, error analysis, algorithms
odes-pdes Ordinary and partial differential equations
optimization Convex, combinatorial, gradient-based optimization
real-analysis Limits, continuity, differentiation, integration
rudin-real-complex-analysis Guided work through Rudin's textbooks
topology Open sets, continuity, compactness, connectedness

When to Use

Activate the appropriate sub-skill based on the mathematical domain in the user's question. Use math-model-selector when the domain is unclear.

Expand your agent's capabilities with these related and highly-rated skills.

Didn't find tool you were looking for?

Be as detailed as possible for better results