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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.