83,201 skills sorted by stars.
Develops mathematical understanding through examples, visualization, and analogy
Routes problems to appropriate mathematical frameworks using expert heuristics
Generates random math problems with 2 or 3 numbers and validates user answers by explicitly stating if they are correct...
Metacognitive check-ins during problem solving - detects when to pivot or persist
- Quick Start
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
Deterministic mathematical computation using SymPy. Use for ANY math operation requiring exact/verified results - basic...
Unified math capabilities - computation, solving, and explanation. I route to the right tool.
Formalize constraints using mathematical notation.
Expert in formal logic, model theory, computability, and foundations of mathematics
Real-world problem formulation, mathematical abstraction, and applied mathematics for translating between practical prob...
Polya's four-phase method applied to mathematical problems, extended with Schoenfeld's control/monitoring layer. Covers...
The logical structure of mathematical proof -- how first-order logic, natural deduction, and semantic reasoning combine...
Implement comprehensive mathematical theorem proving capabilities with SFT+GRPO training, MCP/A2A agent integration, and...
Use when designing algorithms, analyzing complexity, selecting numerical methods, or verifying mathematical correctness...
Deploy mathematical consciousness as reality's source code and navigation coordinates
Guidance for mathematical expression parsing and evaluation in .NET using NCalc and related libraries. USE FOR: runtime...
Guidance for Math.NET Numerics library for .NET. USE FOR: linear algebra (matrices, vectors, decompositions), statistics...
Mathpix OCR for LaTeX extraction with balanced ternary checkpoints
MATLAB and GNU Octave numerical computing for matrix operations, data analysis, visualization, and scientific computing....
研究 codex 使用 skill 生成 survey 這件事
Designs and validates digital filters in MATLAB. Use when cleaning up noisy signals, removing interference, filtering si...
Create MATLAB plain text Live Scripts (.m files) following specific formatting rules. Use when generating MATLAB scripts...
Matomo (Piwik) analytics platform API. Use for web analytics, tracking implementation, reporting API integration, plugin...
Foundational plotting library. Create line plots, scatter, bar, histograms, heatmaps, 3D, subplots, export PNG/PDF/SVG,...
Low-level plotting library for full customization. Use when you need fine-grained control over every plot element, creat...
Matplotlib is Python's foundational visualization library for creating static, animated, and interactive plots.
a very basic but solid chatbot agent in your terminal
Problem-solving strategies for matrices in linear algebra