Use when when you have statistically significant features from multi-assay LC-MS metabolomics data (with m/z and retention time annotations) and need to group features that may…
Use when after executing a Nextflow-based LC-HRMS metabolomics workflow with Docker or Singularity containerization on .mzML LC-MS data, before proceeding to downstream…
Comprehensive B2B demand generation and lead acquisition skill. Use when building lead generation systems, creating demand acquisition campaigns, optimizing CAC, designing lead…
USE FOR: real analysis, functional analysis, topology, and measure theory in Lean 4 / Mathlib — continuous functions, derivatives, integrals, metric / normed spaces, filter-based…
USE FOR: graph theory, applied lattice theory, combinatorics, DAGs, posets, provenance chains, dependency orders, lattice operations (severity / quality-gate / trust-vector /…
USE FOR: nonlinear dynamical systems, Lyapunov stability, bifurcation theory, catastrophe theory, control theory, phase-portrait analysis, attractor classification, and any…
USE FOR: foundational mathematics in Lean 4 — Lean's type system (Prop / Type / universes), classical vs constructive choices, Mathlib's algebraic typeclass hierarchy (Group /…
USE FOR: optimization theory, convex optimization, game theory, reinforcement-learning theory (Bellman equations, value / policy iteration), Nash equilibria, minimax theorems,…
USE FOR: probability theory, stochastic processes, Markov chains, time-series analysis, ergodic theory, row-stochastic matrices, mixing times, spectral gaps, stationary…
Audit legal aid and public defense case management systems -- client intake workflows, Federal Poverty Level eligibility screening accuracy, conflict-of-interest checking,…
Automate LimeSurvey operations via RemoteControl 2 API. Use when: (1) managing surveys, questions, groups, or participants, (2) exporting responses or statistics, (3) sending…
Use when your metabolomics experiment includes calibration line samples with known concentrations for spiked compounds, and you have computed batch-corrected…
Calculate linkage disequilibrium statistics (r², D'), perform LD pruning for population structure analysis, identify haplotype blocks, and visualize LD patterns using PLI — from…
Search your LinkedIn posts/shares by topic, find connections by title or company, and get LinkedIn statistics.
Use when you have spatial metabolomics data with semicolon-delimited isomer name annotations (such as the 'all_IsomerNames' column in SpaMTP Seurat objects) and you need to reduce…
Generate statistics for publication-year and journal distributions from local references or PDFs; use when you need standardized Year/Journal tables and a summary without any…
Generate and update HTML dashboards for LLM usage (Claude, Gemini, Kiro, VS code, Cline, etc). Use when the user wants to visualize their AI coding assistant usage statistics,…
Use when coordinating story quality evaluation with mandatory research, worker summaries, agent review, regression evidence, and bounded refinement.
Researches competitive benchmarks and generates optimization hypotheses for identified bottlenecks. Use after profiling.
Use when validating optimization plans through the evaluation platform with mandatory research, parallel agent evidence, sequential merge, and bounded refinement.
When the user wants to localize their App Store listing for international markets. Also use when the user mentions "localization", "translate my app", "international markets",…
Analyze log files to troubleshoot errors, identify peak error periods, and produce error clustering, frequency statistics, and time distribution reports.
Maps operations prose onto mixed-integer sets, decision variables, and constraint patterns for Gurobi, CPLEX, or SCIP.
Pairs trading / statistical-arbitrage strategy via Longbridge Securities — tests cointegration between two correlated assets using the Engle-Granger (ADF) method, computes the…
Quantitative strategy frameworks: pairs trading/cointegration, volatility regime strategies, seasonality/calendar effects, multi-factor models (IC/IR), factor research and…
Seasonality and calendar-effect strategy via Longbridge Securities — uses historical OHLCV data to compute month-of-year returns (January Effect), day-of-week returns (Monday /…
Turn a repeatable task into a bounded, evidence-driven agent loop. Use when Codex needs to decide whether a task merits a Goal, Loop, Automation, or AutoResearch pattern; define a…
LQF Machine Learning Expert Guide - Routed skill for ML/Statistical Modeling with Critical Discussion Mode.
Use Lumify's hosted sports MCP/REST API for raw, deterministic team/player and match statistics — box scores and rates, no odds and no AI scoring — across soccer, MLB, tennis,…
Applies Tom M. Mitchell's "Machine Learning" (1997) framework — the well-posed learning problem (Task/Performance/Experience), hypothesis space and inductive bias, overfitting and…
Three-role-stream adversarial audit of a research document — paper, grant, referee report, preprint. Quote+page-grounded criticism, anonymized cross-critique, fresh-context Codex…
Email volume statistics, trends, and patterns. Show daily/weekly/monthly volume, peak periods, read rates, and account breakdowns.
Use when working with Pi Hole — pi-hole DNS sinkhole management covering ad-blocking statistics, query logs, blocklist management, client activity, gravity database, and…
Use when a task needs the judgment of a Manufacturing Engineer — designing or diagnosing a workholding/fixture against a print's GD&T datum scheme, running or reading a process…
Phase-aware tooling for injecting advanced-review evidence and statistics into Markdown manuscript templates.
Convert PDF documents to Markdown using marker_single. Use when Claude needs to extract text content from PDFs while preserving LaTeX formulas, equations, and document structure.
Use when when linking statistically significant LC-MS features into structural clusters based on adduct signatures and cross-assay references (e.g., [M+H]+/[M-H]−), and you need…
USE FOR: Abstract algebra, category theory, lattice theory, universal algebra, and algebraic structures relevant to Lean formalization.
Use when implementing game math — vectors, transforms, interpolation, curves, random number generation, and common geometric recipes
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
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…
USE FOR: Mathematical optimization, game theory, decision theory, mechanism design, multi-objective optimization, convex optimization, and reinforcement learning theory.
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.
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,…
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…
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.