Skip to main content

math

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

Quellinformationen

Repository
vibeeval/vibecosystem
Letzte Quellaktivität
12. April 2026 um 23:35
Erkannte Sprache von SKILL.md
Englisch
Sterne
538
Forks
47

Installationsoptionen

Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.

Quelldateien prüfen

Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.

Datei-Explorer
51 Dateien

SKILL.md wird angezeigt

SKILL.md
Quellanweisungen · Schreibgeschützte Vorschau
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.
Auf GitHub ansehen