Skip to main content

math

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

소스 정보

저장소
vibeeval/vibecosystem
최근 소스 활동
2026년 4월 12일 23:35
감지된 SKILL.md 언어
영어
스타
541
포크
44

설치 방법

기본적으로 소스를 먼저 확인하는 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에서 보기