WCAG 2.2 AA compliance, ARIA patterns, keyboard navigation, screen reader optimization
日本語の概要は準備中です。原文の説明を表示しています。
Multi-layer cognitive stack for machine-verified mathematical problem solving across 14 sub-disciplines.
インストール方法を見るインストールする前に、エージェントに与えられる指示の中身を確認できます。
A structured collection of skills for mathematical reasoning, proof construction, and problem solving.
| 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 |
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
日本語の概要は準備中です。原文の説明を表示しています。
axe-core integration, WCAG 2.2 AA checklist, keyboard navigation testing, screen reader testing, and ARIA pattern validation.
日本語の概要は準備中です。原文の説明を表示しています。
Steam-style achievement system with XP, levels, streaks, and skill trees. Gamifies the development workflow. 25 achievements across 5 categories.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。
Agent Context Isolation
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。