Menu
Multi-layer cognitive stack for machine-verified mathematical problem solving across 14 sub-disciplines.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
OpenAI Codex CLI + Claude Code (Hizir) birlikte kullanim rehberi. Is dagitim pattern'leri, GitHub Actions workflow ornekleri, review dongusu ve iki AI yazilim asistaninin guclu yanlarini birlestiren orchestration stratejileri.
Create handoff document for transferring work to another session
Otonom deney dongusu. Kod degisikligi yap, olc, karsilastir, kabul et veya geri al. Metrik bazli karar verme ile performans, boyut veya kalite optimizasyonu. Tek basina veya agent ile kullan.
Planning agent that creates implementation plans and handoffs from conversation context
Use this skill when writing new features, fixing bugs, or refactoring code. Enforces test-driven development with 80%+ coverage including unit, integration, and E2E tests.
Pre-push API key and credential scanner - blocks git push if secrets found
| name | math |
| description | 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.
