math
Multi-layer cognitive stack for machine-verified mathematical problem solving across 14 sub-disciplines.
来源信息
- 仓库
- vibeeval/vibecosystem
- 最近来源活动
- 2026年4月12日 23:35
- 检测到的 SKILL.md 语言
- 英语
- 星标
- 538
- Forks
- 47
安装方式
默认使用会先检查来源的 Prompt;你也可以切换为直接命令,或下载本地副本。
检查来源文件
决定是否安装前,请先阅读 SKILL.md,以及 SkillsMP 当前展示的配套文件。
文件资源管理器
51 个文件正在显示 SKILL.md
SKILL.md
来源说明 · 只读预览- 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.
在 GitHub 查看