Use when designing the numerical / simulation study for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — validating the proven theoretical properties, testing…
Use when targeting Journal of Business and Economic Statistics (JBES) or deciding whether a manuscript at the statistics/econometrics interface fits this venue.
Use when targeting Journal of Climate or deciding whether a climate-dynamics or climate-variability manuscript fits this venue.
Use when targeting 《管理科学学报》(Journal of Management Sciences in China) — the NSFC-flagship for quantitative / mathematical management science (operations research, decision…
Use when choosing and designing evidence for a manuscript submitted to 《系统工程学报》 (Journal of Systems Engineering, Tianjin University), with separate standards for numerical…
初中数学每日练 Skill是面向每日打卡、专项训练的产品级 Hermes Skill，年级、册别、单元、知识点和难度通过参数传入。 Workflow: junior_math_daily_practice.run.
初中数学快速巩固 Skill是面向每日打卡、同步巩固的产品级 Hermes Skill，年级、册别、单元、知识点和难度通过参数传入。 Workflow: junior_math_quick_practice.run.
Executes autonomous Loop Engineering cycles (Autoresearch) for continuous code and metric optimization.
Use this when: am I ready for auto-improvement, is my system ready for the Karpathy Loop, can I run autoresearch on this, evaluate auto-improvement readiness, define the editable…
Current-aware Kaspa researcher and engineering skill for source-grounded protocol, KIP, wallet, indexer, WASM, Kdapp, dApp, infrastructure, and future-feature analysis.
MATLAB and GNU Octave numerical computing for matrix operations, data analysis, visualization, and scientific computing.
When the user wants to discover, evaluate, or prioritize App Store keywords. Also use when the user mentions "keyword research", "find keywords", "search volume", "keyword…
Use when a klartext user works on their BMW F-series through Claude — reading live data (oil/coolant temperature, DPF soot load or regeneration status, RPM), clearing fault codes,…
Expert in visualizing and explaining braid theory, knot mathematics, and topological concepts for educational purposes.
Fetch one KOFIA 종합통계 operation from data.go.kr over a date range -- investor deposits and forced selling (market_funds), margin loan balances (credit_balance), funds, CMA,…
Configure a Kumo model plan for a user-defined Snowflake task, including encoders, run mode, bounded experiments, sampling, optimization, architecture, metrics and refits.
Use to enforce The Lancet's clinical-statistics reporting — confidence intervals over bare P values, a pre-specified primary analysis, intention-to-treat with per-protocol…
Use as the final preflight before submitting to The Lancet — a complete checklist across importance, registration, reporting guideline + flow diagram, statistics, structured…
Use when turning a linguistic pattern into a theoretically grounded claim for a Language (LSA) manuscript — an analysis with explicit assumptions, observable predictions, and…
API quick-reference for key lattice subsystems (FP, Game Theory, SAT, Optics, Statistics, CLP). Use when you need function signatures, module contents, or usage examples for a…
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…
Conservation checks from Little's Law (`L = λW`) and queueing decisions: measurement boundaries, service demand versus residence time, utilisation curves, thread pool and executor…
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.
Make mathematical computations reproducible — SymPy, Mathematica, Magma, Sage, Julia — with versioned environments (Docker/Conda/Nix), scripts, and result archival.