Skip to main content

math

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

Informações da origem

Repositório
vibeeval/vibecosystem
Última atividade na origem
12 de abril de 2026 às 23:35
Idioma detectado do SKILL.md
inglês
Estrelas
538
Forks
47

Opções de instalação

Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.

Revise os arquivos de origem

Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.

Explorador de arquivos
51 arquivos

Exibindo SKILL.md

SKILL.md
Instruções da origem · Visualização somente leitura
name
math
description
Multi-layer cognitive stack for machine-verified mathematical problem solving across 14 sub-disciplines.
# 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.
Ver no GitHub