本文へ移動
cccskills
無料GitHub で公開

math

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

インストール方法を見る

含まれるファイル(51)

  • SKILL.md1.6 KB
  • abstract-algebra/fields/SKILL.md2.8 KB
  • abstract-algebra/groups/SKILL.md3.8 KB
  • abstract-algebra/rings/SKILL.md3.8 KB
  • category-theory/categories-functors/SKILL.md1.9 KB
  • category-theory/limits-colimits/SKILL.md1.9 KB
  • category-theory/natural-transformations/SKILL.md1.9 KB
  • complex-analysis/analytic-functions/SKILL.md3.6 KB
  • complex-analysis/contour-integrals/SKILL.md3.6 KB
  • complex-analysis/residues/SKILL.md3.9 KB
  • functional-analysis/banach-spaces/SKILL.md3.5 KB
  • functional-analysis/hilbert-spaces/SKILL.md4.0 KB
  • functional-analysis/operator-theory/SKILL.md3.5 KB
  • graph-number-theory/graph-algorithms/SKILL.md3.9 KB
  • graph-number-theory/modular-arithmetic/SKILL.md2.0 KB
  • graph-number-theory/prime-numbers/SKILL.md1.6 KB
  • information-theory/channel-capacity/SKILL.md2.3 KB
  • information-theory/entropy/SKILL.md2.2 KB
  • information-theory/source-coding/SKILL.md3.1 KB
  • LEARNING.md2.4 KB
  • linear-algebra/eigenvalues/SKILL.md1.2 KB
  • linear-algebra/matrices/SKILL.md1.3 KB
  • linear-algebra/vector-spaces/SKILL.md1.3 KB
  • math-intuition-builder/SKILL.md3.8 KB
  • math-model-selector/SKILL.md3.4 KB
  • math-progress-monitor/SKILL.md3.8 KB
  • mathematical-logic/predicate-logic/SKILL.md1.8 KB
  • mathematical-logic/proof-theory/SKILL.md1.8 KB
  • mathematical-logic/propositional-logic/SKILL.md1.7 KB
  • measure-theory/integration-theory/SKILL.md3.7 KB
  • measure-theory/lebesgue-measure/SKILL.md3.3 KB
  • measure-theory/sigma-algebras/SKILL.md3.1 KB
  • numerical-methods/interpolation/SKILL.md4.0 KB
  • numerical-methods/numerical-integration/SKILL.md3.8 KB
  • numerical-methods/root-finding/SKILL.md3.5 KB
  • odes-pdes/boundary-value-problems/SKILL.md4.3 KB
  • odes-pdes/first-order-odes/SKILL.md3.4 KB
  • odes-pdes/second-order-odes/SKILL.md3.3 KB
  • optimization/constrained-optimization/SKILL.md3.7 KB
  • optimization/convex-optimization/SKILL.md3.6 KB
  • optimization/gradient-methods/SKILL.md4.0 KB
  • README.md3.4 KB
  • real-analysis/continuity/SKILL.md1.2 KB
  • real-analysis/convergence/SKILL.md1.3 KB
  • real-analysis/limits/SKILL.md1.3 KB
  • rudin-real-complex-analysis/SKILL.md2.6 KB
  • TOOLS.md2.1 KB
  • topology/compactness/SKILL.md2.9 KB
  • topology/connectedness/SKILL.md3.6 KB
  • topology/open-sets/SKILL.md3.2 KB
  • WORKFLOW.md2.4 KB

SKILL.md(原文)

インストールする前に、エージェントに与えられる指示の中身を確認できます。

Math Cognitive Stack

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

Sub-Skills

DirectoryTopic
abstract-algebraGroups, rings, fields, homomorphisms
category-theoryFunctors, natural transformations, adjoints
complex-analysisHolomorphic functions, contour integration
functional-analysisBanach/Hilbert spaces, operators
graph-number-theoryGraph theory and number-theoretic results
information-theoryEntropy, channel capacity, coding
linear-algebraVector spaces, matrices, eigenvalues
math-intuition-builderBuild intuition before formalization
math-model-selectorChoose the right mathematical model
math-progress-monitorTrack proof progress and open goals
mathematical-logicPropositional and first-order logic, proofs
measure-theorySigma-algebras, integration, probability foundations
numerical-methodsApproximation, error analysis, algorithms
odes-pdesOrdinary and partial differential equations
optimizationConvex, combinatorial, gradient-based optimization
real-analysisLimits, continuity, differentiation, integration
rudin-real-complex-analysisGuided work through Rudin's textbooks
topologyOpen 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.

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

同じリポジトリのスキル

概要と使いどころ

WCAG 2.2 AA compliance, ARIA patterns, keyboard navigation, screen reader optimization

日本語の概要は準備中です。原文の説明を表示しています。

vibeeval/vibecosystem5332026年8月9日 更新

axe-core integration, WCAG 2.2 AA checklist, keyboard navigation testing, screen reader testing, and ARIA pattern validation.

日本語の概要は準備中です。原文の説明を表示しています。

vibeeval/vibecosystem5332026年8月9日 更新

Steam-style achievement system with XP, levels, streaks, and skill trees. Gamifies the development workflow. 25 achievements across 5 categories.

日本語の概要は準備中です。原文の説明を表示しています。

vibeeval/vibecosystem5332026年8月9日 更新

Framework for measuring and tracking agent response quality over time. Detects regressions before they reach production. Use when evaluating agent changes, auditing quality, or establishing performance baselines.

日本語の概要は準備中です。原文の説明を表示しています。

vibeeval/vibecosystem5332026年8月9日 更新

Agent Context Isolation

日本語の概要は準備中です。原文の説明を表示しています。

vibeeval/vibecosystem5332026年8月9日 更新

Agent ve skill dosyalarinin yapisal dogrulamasi. Frontmatter kontrol, naming convention, zorunlu bolum kontrolu, tutarlilik denetimi. Yeni agent/skill eklendiginde veya mevcut dosyalar duzenlediginde otomatik calistirilir.

日本語の概要は準備中です。原文の説明を表示しています。

vibeeval/vibecosystem5332026年8月9日 更新

vibeeval のスキルをすべて見る

このスキルの問題を報告する