BenchFlow

Fit first-order dynamic models to experimental step response data and extract K (gain) and tau (time constant) parameters.

日本語の概要は準備中です。原文の説明を表示しています。

Find bugs, security vulnerabilities, and code quality issues in local branch changes. Use when asked to review changes, find bugs, security review, or audit code on the current branch.

日本語の概要は準備中です。原文の説明を表示しています。

Test Temporal workflows with pytest, time-skipping, and mocking strategies. Covers unit testing, integration testing, replay testing, and local development setup. Use when implementing Temporal workflow tests or debugging test failures.

日本語の概要は準備中です。原文の説明を表示しています。

Use when erlang distributed systems including node connectivity, distributed processes, global name registration, distributed supervision, network partitions, and building fault-tolerant multi-node applications on the BEAM VM.

日本語の概要は準備中です。原文の説明を表示しています。

Use when working with Maven build phases, goals, profiles, or customizing the build process for Java projects.

日本語の概要は準備中です。原文の説明を表示しています。

VERIFY your changes work. Measure CLS, detect theme flicker, test visual stability, check performance. Use BEFORE and AFTER making changes to confirm fixes. Includes ready-to-run scripts: measure-cls.ts, detect-flicker.ts

日本語の概要は準備中です。原文の説明を表示しています。

Use when oTP behaviors including gen_server for stateful processes, gen_statem for state machines, supervisors for fault tolerance, gen_event for event handling, and building robust, production-ready Erlang applications with proven patterns.

日本語の概要は準備中です。原文の説明を表示しています。

Use scipy.optimize.curve_fit for nonlinear least squares parameter estimation from experimental data.

日本語の概要は準備中です。原文の説明を表示しています。

Extract text content from images using Tesseract OCR via Python

日本語の概要は準備中です。原文の説明を表示しています。

Comprehensive clinical laboratory data harmonization for multi-source healthcare analytics. Convert between US conventional and SI units, standardize numeric formats, and clean data quality issues. This skill should be used when you need to harmonize lab values from different sources, convert units for clinical analysis, fix formatting inconsistencies (scientific notation, decimal separators, whitespace), or prepare lab panels for research.

日本語の概要は準備中です。原文の説明を表示しています。

Compare and implement eviction policies (LRU, LFU, FIFO, S3FIFO, ARC) for bounded-capacity caches. Use when choosing or implementing an eviction policy for a buffer pool, page cache, CDN edge, or LLM KV cache, or when writing a replay simulator that supports multiple policies. Clarifies recency vs frequency semantics, queue topology, saturating counters, ghost buffers, and the second-chance rule that distinguishes modern FIFO-family policies from classic LRU.

日本語の概要は準備中です。原文の説明を表示しています。

Box Least Squares (BLS) periodogram for detecting transiting exoplanets and eclipsing binaries. Use when searching for periodic box-shaped dips in light curves. Alternative to Transit Least Squares, available in astropy.timeseries. Based on Kovács et al. (2002).

日本語の概要は準備中です。原文の説明を表示しています。

Basic usage of the General Lake Model (GLM) for lake temperature simulation. Use when you need to run GLM, understand input files, or modify configuration parameters.

日本語の概要は準備中です。原文の説明を表示しています。

Master the uv package manager for fast Python dependency management, virtual environments, and modern Python project workflows. Use when setting up Python projects, managing dependencies, or optimizing Python development workflows with uv.

日本語の概要は準備中です。原文の説明を表示しています。

Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for lemmas - provides build-first workflow, haveI/letI patterns, compiler-guided repair, and LSP integration

日本語の概要は準備中です。原文の説明を表示しています。

This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration

日本語の概要は準備中です。原文の説明を表示しています。

Calculate the relative contribution of different factors to a response variable using R² decomposition. Use when you need to quantify how much each factor explains the variance of an outcome.

日本語の概要は準備中です。原文の説明を表示しています。

High-performance numerical computing and machine learning workflows using JAX. Supports array operations, automatic differentiation, JIT compilation, RNN-style scans, map/reduce operations, and gradient computations. Ideal for scientific computing, ML models, and dynamic array transformations.

日本語の概要は準備中です。原文の説明を表示しています。

A toolkit for fuzzy string matching and data reconciliation. Useful for matching entity names (companies, people) across different datasets where spelling variations, typos, or formatting differences exist.

日本語の概要は準備中です。原文の説明を表示しています。

Implement safety interlocks and protective mechanisms to prevent equipment damage and ensure safe control system operation.

日本語の概要は準備中です。原文の説明を表示しています。

Design effective excitation signals (step tests) for system identification and parameter estimation in control systems.

日本語の概要は準備中です。原文の説明を表示しています。

Matched filtering techniques for gravitational wave detection. Use when searching for signals in detector data using template waveforms, including both time-domain and frequency-domain approaches. Works with PyCBC for generating templates and performing matched filtering.

日本語の概要は準備中です。原文の説明を表示しています。

Translate logistics and operations rules into optimization variables and constraints. Use when an operations problem describes vehicles, routes, depots, pickups, dropoffs, inventory, capacity, assignments, time windows, service targets, penalties, resource limits, or other business rules that need to become an optimization model.

日本語の概要は準備中です。原文の説明を表示しています。

Extract locational marginal prices (LMPs) from DC-OPF solutions using dual values. Use when computing nodal electricity prices, reserve clearing prices, or performing price impact analysis.

日本語の概要は準備中です。原文の説明を表示しています。