개발 스킬

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Connecting Erlang nodes into a cluster
• Sending messages or making calls across nodes
• Registering processes under cluster-wide names

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Building process pools for concurrent requests
• Passing messages between isolated Erlang processes
• Monitoring worker failures and restarting processes

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Adding a library with the right Maven scope
• Resolving conflicting transitive dependency versions
• Centralizing versions across modules with a BOM

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Starting a Python project with managed dependencies
• Creating a virtual environment and selecting Python
• Keeping installs reproducible with a lockfile

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Planning a step test for an unknown control system
• Choosing a test duration and sampling rate
• Recording input and output data for parameter estimation

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Choose Maven phases and goals for a Java build
• Set up development, production, or CI profiles
• Configure unit and integration test execution

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Building a stateful client-server process
• Modeling protocols with explicit state transitions
• Restarting failed processes with supervisors

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Resume a Lean 4 project with its conventions in view
• Find proof patterns used for similar goals
• Avoid tactics that previously failed in the project

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Configuring Java compilation and test plugins
• Adding code quality checks to a Maven build
• Packaging an executable JAR with Maven

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Tuning a PI controller for a first-order process
• Choosing a response speed for a control loop
• Adjusting gains when a process model is noisy or uncertain

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Choosing an eviction policy for a bounded cache
• Implementing LRU, LFU, FIFO, or S3FIFO behavior
• Comparing cache policies with a replayed 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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Calculate power flow in both directions across a transmission line
• Check branch apparent power against its MVA rating
• Calculate and report the most heavily loaded branches

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Modeling quadrotor motor response
• Simulating motion from thrust and moments
• Including motor speed limits and lag

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Implementing a quadrotor attitude controller
• Converting desired acceleration into roll and pitch targets
• Adding PID feedback for roll, pitch, and yaw

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Finding neighboring tiles on a hex map
• Measuring distance between two hex coordinates
• Checking whether tiles are adjacent

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Understanding the TRL trainer hierarchy
• Tracing data through a trainer workflow
• Checking utility function contracts before editing

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Converting a takeoff instruction into timed waypoints
• Parsing hover duration and altitude commands
• Turning coordinate-based flight directions into segments

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Building a quadrotor position controller
• Generating trajectories from flight waypoints
• Tuning position PID gains for altitude response

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Reading a packed balance from a COBOL input record
• Checking an FD declaration against the record layout
• Tracing an opening balance into an accumulator

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Loading settings safely from a YAML file
• Writing readable YAML while keeping key order
• Using defaults when a config file is missing

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Implementing a PID feedback loop
• Tuning gains to reduce steady-state error or overshoot
• Managing throttle or braking output within limits

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Managing GitHub issues from the command line
• Viewing and reviewing pull requests
• Checking workflow runs and CI status

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Simulating speed and position updates over time
• Calculating safe gaps behind a lead vehicle
• Estimating time to collision from relative speed

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.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Extracting records from a multi-sheet workbook
• Turning spreadsheet rows into Python dictionaries
• Handling blank, merged, or list-valued cells