Use when the mechanism section of a 《金融研究》 (Journal of Financial Research) manuscript stops at "promotes / inhibits" — to pin the effect to a concrete financial channel (credit /…
Use to finalize the main tables and figures of a 《金融研究》 (Journal of Financial Research) manuscript to journal house style — trimming over-wide regression tables, standardizing…
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 Management Sciences in China) — the NSFC-flagship for quantitative / mathematical management science (operations research, decision…
初中数学每日练 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.
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…
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…
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.
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…
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.
Three-role-stream adversarial audit of a research document — paper, grant, referee report, preprint. Quote+page-grounded criticism, anonymized cross-critique, fresh-context Codex…
Use when working with Pi Hole — pi-hole DNS sinkhole management covering ad-blocking statistics, query logs, blocklist management, client activity, gravity database, and…
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
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…