Math

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

Install

npx -y skills add vibeeval/vibecosystem --skill math

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.6 KB, 312 tokens by cl100k_base, as published. Nobody here has run it

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

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

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

10.3 KB alongside SKILL.md, 4 of them executable