benchflow-ai/skillsbench

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…

benchflow-ai/skillsbench

World-class data engineering skill for building scalable data pipelines, ETL/ELT systems, real-time streaming, and data infrastructure.

benchflow-ai/skillsbench

AC branch pi-model power flow equations (P/Q and |S|) with transformer tap ratio and phase shift, matching acopf-math-model.md and MATPOWER branch fields.

benchflow-ai/skillsbench

Civilization 6 district mechanics library. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench

Build deterministic, verifiable data visualizations with D3.js (v6).

benchflow-ai/skillsbench

DC power flow analysis for power systems. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench

Calculate per-second RMS energy from audio files. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench

Manage Gmail - send, read, search emails, manage labels and drafts.

benchflow-ai/skillsbench

Hex grid spatial utilities for offset coordinate systems. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench

Convert PDF documents to Markdown using markersingle. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench

Analyzes 3D mesh files (STL) to calculate geometric properties (volume, components) and extract attribute data.

benchflow-ai/skillsbench

A skill your agent uses when erlang's concurrency model including lightweight processes, message passing, process links and monitors, error handling patterns, selective receive, and building…

benchflow-ai/skillsbench

A skill your agent uses when erlang distributed systems including node connectivity, distributed processes, global name registration, distributed supervision, network partitions, and building…

benchflow-ai/skillsbench

A skill your agent uses when oTP behaviors including genserver for stateful processes, genstatem for state machines, supervisors for fault tolerance, genevent for event handling, and building…

benchflow-ai/skillsbench

Detect pauses and silence in audio using local dynamic thresholds.

benchflow-ai/skillsbench

Generate compression reports for video processing. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench

World-class Java and Spring Boot development skill for enterprise applications, microservices, and cloud-native systems.

benchflow-ai/skillsbench

Detect initial silence segments in audio/video using energy-based analysis.

benchflow-ai/skillsbench

Process videos by removing segments and concatenating remaining parts.

benchflow-ai/skillsbench

Generator economic dispatch and cost optimization for power systems.

benchflow-ai/skillsbench

Reference for the GRPO (Group Relative Policy Optimization) algorithm.

benchflow-ai/skillsbench

Optimize Python code for reduced memory usage and improved memory efficiency.

benchflow-ai/skillsbench

Implement mHC (Manifold-Constrained Hyper-Connections) for stabilizing deep network training.

benchflow-ai/skillsbench

Transform sequential Python code into parallel/concurrent implementations.

benchflow-ai/skillsbench

Parse raw radar I/Q captures (CW or FMCW mmWave) and produce a cleaned 1-D slow-time signal ready for motion or vital-signs analysis.

benchflow-ai/skillsbench

End-to-end pipeline for extracting heart rate (HR) and breathing rate (BR) from raw short-range radar I/Q captures — both continuous-wave (CW, 24 GHz clinical boards) and FMCW mmWave (60/77 GHz, TI…

benchflow-ai/skillsbench

Diagnostic guide for RL-based post-training of language models (GRPO, PPO, REINFORCE, DPO).

benchflow-ai/skillsbench

Three.js scene-graph parsing and export workflows: mesh baking, InstancedMesh expansion, part partitioning, per-link OBJ export, and URDF articulation.

benchflow-ai/skillsbench

Provides database transaction concurrency-control background.

benchflow-ai/skillsbench

Teaches how to reason from a transaction protocol’s rules to a working model.

benchflow-ai/skillsbench

Teaches evidence-based analysis of transaction logs and traces.

benchflow-ai/skillsbench

Estimate heart rate (HR) and breathing rate (BR) in bpm from a cleaned 1-D physiological time series such as radar phase, WiFi CSI amplitude, PPG, or a chest-motion signal.

benchflow-ai/skillsbench

Optimize workload distribution across workers, processes, or nodes for efficient parallel execution.

benchflow-ai/skillsbench

Run Python code on cloud GPUs using Modal serverless platform.

benchflow-ai/skillsbench

Extract audio from video files to WAV format. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench

Combine multiple segment detection results into a unified list.

benchflow-ai/skillsbench

A skill your agent uses when implementing the inner control loop for a quadrotor — attitude (roll/pitch/yaw) PID control and attitude planning (converting desired acceleration to desired Euler…

benchflow-ai/skillsbench

Compare and implement eviction policies (LRU, LFU, FIFO, S3FIFO, ARC) for bounded-capacity caches.

benchflow-ai/skillsbench

Nonlinear optimization with CasADi and IPOPT solver. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench

Data conditioning techniques for gravitational wave detector data.

benchflow-ai/skillsbench

Calculate the relative contribution of different factors to a response variable using R² decomposition.

benchflow-ai/skillsbench

A skill your agent uses when reading sensor data from CSV files, writing simulation results to CSV, processing time-series data with pandas, or handling missing values in datasets.

benchflow-ai/skillsbench

Define custom distance/similarity metrics for clustering and ML algorithms.

benchflow-ai/skillsbench

Video editing with ffmpeg including cutting, trimming, concatenating segments, and re-encoding.

benchflow-ai/skillsbench

Process filler word annotations to generate video edit lists.

benchflow-ai/skillsbench

A skill your agent uses when converting natural language flight commands into waypoints and timing for a drone simulator.

benchflow-ai/skillsbench

Detect flood events by comparing water levels to thresholds.

benchflow-ai/skillsbench

Choose placements that preserve useful residual capacity. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench