编码规范、框架、重构、代码审查（1.8万 个）
Build Erlang applications across multiple BEAM nodes. Get guidance on node connections, remote messaging and calls, global process names, distributed supervision, and handling network partitions to keep services resilient.
中文简介正在准备中。当前显示英语简介。
Design concurrent Erlang systems using lightweight processes that communicate through messages. The skill explains spawning, request-response patterns, selective receive, links and monitors for detecting failures, timeouts, and supervision approaches for fault handling on the BEAM VM.
中文简介正在准备中。当前显示英语简介。
Manage dependencies in Java projects with Maven by organizing versions and scopes, importing BOMs for shared version control, inspecting dependency trees, and resolving conflicts between direct and transitive dependencies.
中文简介正在准备中。当前显示英语简介。
Use uv to create Python projects, manage packages and virtual environments, and install Python versions. Learn workflows for lockfiles, existing projects, monorepos, CI, and Docker, with commands for migrating from tools such as pip or Poetry.
中文简介正在准备中。当前显示英语简介。
Plan step tests for identifying an unknown control system. Get practical guidance on test duration, sampling rate, input size, and which input and output measurements to record for estimating system parameters from its response.
中文简介正在准备中。当前显示英语简介。
Configure Maven builds for Java projects by choosing lifecycle phases and goals, defining profiles for different environments, and adjusting tests, resources, and modules. Use it to understand build commands, investigate failures, or tune project build settings.
中文简介正在准备中。当前显示英语简介。
Learn how to structure Erlang applications with OTP behaviors: use gen_server for stateful processes, gen_statem for explicit state transitions, gen_event for event handling, and supervisors to restart failed processes.
中文简介正在准备中。当前显示英语简介。
Carry project knowledge between Lean 4 proof sessions with an MCP memory server. The skill stores and retrieves successful proof patterns, failed tactics, project conventions, theorem relationships, and user preferences, helping the agent use relevant past experience when working on similar goals.
中文简介正在准备中。当前显示英语简介。
Configure Maven plugins for compiling Java, running unit and integration tests, checking code quality, packaging artifacts, and managing versions or releases. It explains plugin versions, shared settings, lifecycle phases, and common configuration pitfalls.
中文简介正在准备中。当前显示英语简介。
Calculate PI controller gains for a first-order process from its gain and time constant using Internal Model Control (IMC). Choose a response speed setting and get proportional and integral gains for control work.
中文简介正在准备中。当前显示英语简介。
Compare and implement eviction policies for capacity-limited caches, including LRU, LFU, FIFO, S3FIFO, and ARC. Understand how hit handling and admission differ, avoid common implementation mistakes, and evaluate policies by replaying the same workload trace.
中文简介正在准备中。当前显示英语简介。
Compute active and reactive power flows at both ends of an AC power line, accounting for transformer tap ratios and phase shifts. The skill also covers apparent power, bus balance aggregation, MVA limit checks, and branch loading calculations.
中文简介正在准备中。当前显示英语简介。
Simulate a quadrotor’s physical motion by converting desired thrust and moments into motor speeds, modeling motor lag, and integrating translational and rotational equations of motion with RK45. The skill describes the state values and motor limits used in the simulation.
中文简介正在准备中。当前显示英语简介。
Use this guide to implement a quadrotor’s inner attitude loop. It explains how to turn desired horizontal acceleration into roll and pitch targets, then use PID feedback to calculate control moments, with guidance on integral state and gain adjustments.
中文简介正在准备中。当前显示英语简介。
Work with hex maps that use odd-r offset coordinates, where odd rows shift right. The skill explains how to find six neighbors, calculate distance between tiles, check adjacency, and list tiles within a chosen radius.
中文简介正在准备中。当前显示英语简介。
Navigate the TRL library codebase with a guide to its SFT, DPO, GRPO, and KTO trainers, shared utilities, configuration, and model wrappers. Use it to understand expected contracts and data flow before inspecting or changing trainer code.
中文简介正在准备中。当前显示英语简介。
Turn supported natural language commands for a drone simulator into timed waypoints and segment modes. The parser handles takeoff, hovering, movement between coordinates, and landing, returning arrays that a trajectory planner can use.
中文简介正在准备中。当前显示英语简介。
Implement a quadrotor’s outer position-control loop and plan trajectories from takeoff, hover, fly, and land waypoints. It covers PID feedback for desired acceleration and thrust, plus a sampled state matrix with position, velocity, orientation, angular velocity, and acceleration.
中文简介正在准备中。当前显示英语简介。
Use this reference to read COBOL COMP-3 packed decimal fields in input records, declare the right byte layout in an FD, and carry decoded values into accumulators. It explains sign nibbles, common layout mistakes, and checks for opening balances.
中文简介正在准备中。当前显示英语简介。
Read and write YAML configuration files with safe parsing and clear error handling. The guidance includes readable output, preserving key order, handling missing or invalid files, and merging loaded settings over defaults, including vehicle parameters.
中文简介正在准备中。当前显示英语简介。
Helps implement discrete PID feedback loops that calculate control output from current, accumulated, and changing error. It covers output limits, integral windup prevention, and practical gain tuning for systems such as vehicle speed regulation or other feedback controls.
中文简介正在准备中。当前显示英语简介。
Use GitHub's official `gh` command-line tool to work with repositories, issues, pull requests, and workflow runs. It supports common tasks such as viewing diffs, checking CI status, creating or reviewing pull requests, and making authenticated API requests.
中文简介正在准备中。当前显示英语简介。
Simulate vehicle motion over time by updating speed, position, and the gap to a vehicle ahead. Calculate a time-based safe following distance and estimate time to collision, then use those conditions to choose cruise, follow, or emergency modes.
中文简介正在准备中。当前显示英语简介。
Read .xlsx workbooks with openpyxl or pandas, select the sheets and header rows you need, and convert rows into Python dictionaries. It also covers empty and merged cells and comma-separated values stored in a single cell.
中文简介正在准备中。当前显示英语简介。