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 designing or auditing the numerical-experiments part of a Mathematical Finance (Wiley) manuscript — at this theory-first venue that means illustrative computation that…
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.
根据用户提供的精确参数生成 MATLAB/Simulink 仿真代码。使用场景：用户要求生成 MATLAB 脚本、Simulink 模型、仿真代码，或要求修改现有仿真参数时自动触发。
PDN DC voltage/current analysis, IR drop, design rule checking, and multi-net batch analysis on imported PCB layouts.
Use when you have multiple CDF files containing mass spectrometry imaging data (spectra, m/z arrays, and spatial coordinates) that need to be ingested into MATLAB for the DIMPLE…
Diagnose MATLAB errors and unexpected behavior. Breakpoints, workspace inspection, try-catch diagnostics, and common error patterns.
Design and validate digital filters in MATLAB. Use when cleaning up noisy signals, removing interference, filtering signals, designing FIR/IIR filters…
Use when the user explicitly needs MATLAB or .m scripts for local scientific computing, simulation, signal processing, image processing, statistics, or experiment reproduction.
Create MATLAB plain text Live Scripts (.m files) following specific formatting rules. Use when generating MATLAB scripts, educational MATLAB content, Live Scripts, or when the…
Modernize deprecated MATLAB functions and patterns. Use when check_matlab_code or checkcode reports "not recommended" or "to be removed" warnings, when migrating legacy code, or…
Read BEFORE optimizing any MATLAB code for speed. Without this workflow, agents commonly optimize the wrong target, fabricate speedup claims without measurement, or introduce…
Use when you have two separate LC-MS untargeted metabolomic feature datasets (each with retention time and m/z values) and need to establish feature-to-feature correspondence…
Optimize MATLAB code for better performance through vectorization, memory management, and profiling. Use when user requests optimization, mentions slow code, performance issues,…
Process complex baseband RF signals using standalone System Objects in RF Toolbox: rf.Amplifier, rf.Mixer, rf.Filter, rf.Sparameter, and rf.PAmemory.
Design and implement real-time audio processing chains using Audio Toolbox streaming objects. Use when building frame-based audio processing loops, multiband filters, dynamic…
Review MATLAB code for quality, performance, maintainability, and adherence to MathWorks coding standards. Uses check_matlab_code and matlab_coding_guidelines.
MATLAB/GNU Octave numerical computing: matrices, linear algebra, ODEs, signal processing, optimization, statistics, scientific visualization. MATLAB-syntax examples run on both.
自动生成 Simulink 模型（.slx 文件）。使用场景：用户要求生成 Simulink 模型、搭建仿真模型、创建控制系统模型时自动触发。兼容 R2016b。
Generate correct MATLAB code using the Symbolic Math Toolbox. Use when the user asks for symbolic computations, analytical solutions, symbolic differentiation/integration,…
Create comprehensive MATLAB unit tests using the MATLAB Testing Framework. Use when generating test files, test cases, unit tests, test suites, or when the user requests testing…
Generate and run MATLAB unit tests using matlab.unittest and matlab.uitest. Parameterized tests, fixtures, mocking, coverage analysis, CI/CD with buildtool, app testing with…
Build interactive web applications using HTML/JavaScript interfaces with MATLAB computational backends via the uihtml component.
Generate beautiful, distinctive HTML/CSS/JS control panels for MATLAB uihtml components. 8 built-in styles (Clean, Material, Cosmic Dark, Neumorphic, Dashboard Light, Midnight…