Solve numerical and symbolic math problems (root finding, integration, ODEs, symbolic manipulation) with stable algorithms and explicit error analysis.
Use when implementing game math — vectors, transforms, interpolation, curves, random number generation, and common geometric recipes
Develop formal mathematical proofs in proof assistants (Lean 4, Coq, Isabelle, Agda) with literate programming, tactic-driven construction, and verification.
Expert game engine math foundation — SIMD vectors/matrices, quaternions, transforms, interpolation, collision primitives, curves and numerical stability under real-time budgets.
Structure mathematics grant proposals (NSF, ERC, Simons, MSCA) — aims, broader impacts, budget, timeline, reviewer expectations — with concrete templates.
USE FOR: Graph theory, knowledge graphs, ontology engineering, provenance structures, network analysis, and formal knowledge representation.
Mentor for math work in Triptych — wires sympy-mcp, desmos-mcp, show_latex, init_research, and /verifier into the canonical order, and surfaces the four pitfalls that bite…
Develops mathematical understanding through examples, visualization, and analogy — from vibeeval/vibecosystem
Develops mathematical understanding through examples, visualization, and analogy — from majiayu000/claude-skill-registry
Solve and analyse linear algebra problems — matrix decompositions (LU, QR, SVD, eigendecomposition), linear systems, and applications in ML, graphics, and optimisation.
Track mathematics literature across arXiv, MathSciNet, zbMATH, journal alerts, and citation graphs to keep a researcher current without drowning in papers.
USE FOR: Measure theory, probability theory, stochastic processes, ergodic theory, and concentration inequalities.
USE FOR: General nonlinear dynamics, chaos theory, bifurcation analysis, catastrophe theory, attractor geometry, Lyapunov methods, phase portraits, and control-theoretic…
Formulate and solve optimization problems (linear, convex, non-convex, combinatorial) — model, choose solver, verify optimality, report sensitivity.
USE FOR: Mathematical optimization, game theory, decision theory, mechanism design, multi-objective optimization, convex optimization, and reinforcement learning theory.
Manage mathematical paper collaboration — Overleaf / GitHub / arXiv integration, citation tracking, version control, reproducible computation links, and co-author coordination.
Traduz papers e artigos matemáticos/científicos do inglês para o português brasileiro, adaptando terminologia técnica, convenções notacionais e estilo acadêmico ao padrão pt-BR.
Design mathematics presentations — Beamer slides with TikZ diagrams, colour accessibility, speaker notes, and audience-level adjustments — for seminars, conferences, or lectures.
Build probability models — distributions, stochastic processes (Markov, Brownian, Poisson), inference — with explicit assumptions and sanity checks.
USE FOR: Product management for mathematical formalization projects — roadmap creation, stakeholder management, feature prioritization for formal verification artifacts, theorem…
Metacognitive check-ins during problem solving - detects when to pivot or persist
USE FOR: Project and product management for mathematical formalization projects. Covers dependency-aware scheduling, risk management for unprovable theorems, progress tracking,…
Write and verify pure-math proofs (number theory, algebra, analysis, combinatorics) with rigorous step-by-step reasoning and explicit proof strategies.
Look up mathematical definitions, theorems, proofs, and worked examples by consulting the user's curated PDF library at ~/Documents/3 Resources/Maths before falling back to web…
Orchestrate the full mathematics research pipeline: program management (manage-math-research-program) to rigorous problem research (rigorous-open-math-research) to Lean formal…
Verify math-heavy code for algorithm correctness, numerical stability, and standards alignment
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
USE FOR: Strategic mathematical thinking — brainstorming, problem decomposition, proof strategy design, creative hypothesis generation, and mathematical intuition development.
Use when a task needs the judgment of a postsecondary math instructor — diagnosing why a gateway course's DFW rate is high, grading a proof for logical validity, norming a rubric…
Design and grade math problem sets and exams — difficulty progression, rubric, anti-cheating variants, accessibility, and LaTeX layout.
Use when the user wants to convert Math exam content from PDF, Word, images, or extracted text plus answer keys into PMEditor-compatible .tex files with canonical subjects,…
USE FOR: Time series analysis, signal processing, temporal pattern detection, and multi-scale temporal dynamics.
Deterministic mathematical computation using SymPy. Use for ANY math operation requiring exact/verified results - basic arithmetic, algebra (simplify, expand, factor, solve…
USE FOR: Point-set topology, functional analysis, real analysis, and topological methods for dynamical systems.
Unified math capabilities - computation, solving, and explanation. I route to the right tool. — from vibeeval/vibecosystem
Unified math capabilities - computation, solving, and explanation. I route to the right tool. — from majiayu000/claude-skill-registry
Unified math capabilities - computation, solving, and explanation. I route to the right tool. — from majiayu000/claude-skill-registry
Unified math capabilities - computation, solving, and explanation. I route to the right tool. — from majiayu000/claude-skill-registry
Produce reviewable worked explanation with validation, safety checks, and structured output. Use when a teacher, learner, or subject-area tutor needs this bounded workflow and…
Real-world problem formulation, mathematical abstraction, and applied mathematics for translating between practical problems and mathematical frameworks.
Use when running the final Mathematical Finance submission preflight through Wiley Research Exchange, including LaTeX source, compiled PDF, supplementary files, classifications,…
Router for a Mathematical Finance (Wiley) manuscript — decides which mathfin sub-skill to use next across the theorem-first lifecycle, from problem selection through Wiley…
Use when polishing a Mathematical Finance (Wiley) manuscript's theorem-first exposition — definitions, numbered assumptions, theorem statements, proof sketches, appendices,…
Use when working with large-scale data, similarity search, deduplication, top-K / heavy-hitters, streaming analytics, cardinality estimation, embeddings, recommender systems,…
Generate satirical "math slop" ragebait formulas that connect famous constants (φ, π, e, i) in trivially true but profound-looking equations. Outputs LaTeX.
MATLAB and GNU Octave numerical computing for matrix operations, data analysis, visualization, and scientific computing.
Low-level plotting library for full customization. Use when you need fine-grained control over every plot element, creating novel plot types, or integrating with specific…
MATRIZ-ADERENCIA-TESE — Camada C4 do prisma-julgador-os. Julgamento LLM sobre dado real: cruza a tese da peça com os precedentes que a varredura-jurisprudencial-orgao validou por…
Statistical/data-analysis modeling lead for COMAP MCM/ICM Problem C. Use when you need to interpret C题需求、检查题目数据是否足够/是否允许外生数据、制定可验证的统计/机器学习建模方案，并输出不确定性区间与稳健性分析。
Execute the BACKPROPAGATION phase of MCTS to update node statistics from leaf to root
Trade mean reversion setups in the style of Scarface Trades, the mean reversion specialist known for mathematical precision and statistical edge.
Documents the results of a completed experiment or A/B test with statistical analysis, learnings, and recommendations.
Analyze survey results into actionable PM insights. Produces persona segmentation, hypothesis validation status, thematic clustering of open-text responses, statistical confidence…
Systematic review and meta-analysis pipeline for medical research. Covers protocol registration (PROSPERO), search strategy, screening, data extraction, risk of bias assessment…
Generates the "Risk of Bias" results section for a meta-analysis based on assessment tables and statistics.
Generates the "Results" section for meta-analysis sensitivity analysis based on statistical tables and titles.
Use when you have a raw or extracted peak feature table (CSV or tabular format) containing mass-to-charge ratios, retention times, and intensity values across multiple samples…
Use when you have an untargeted metabolomics feature table (with m/z, retention time, and statistical significance values) and want to predict which metabolic pathways and…
Use when after preprocessing, imputation, and batch correction of LC-MS peak tables when you need to group redundant or related feature measurements (e.g., [M+H]+ and [M+Na]+…
Use when you have XCMS-processed LC/MS peak data from dual-labeled (e.g., 13C) and unlabeled (12C) metabolomics samples and need to distinguish features genuinely enriched by…