开发技能

Map common Python modules and idioms to Scala libraries and approaches. Use examples to translate JSON, dates, files, regular expressions, HTTP requests, logging, tests, configuration, command-line arguments, and asynchronous work.

中文简介正在准备中。当前显示英语简介。

• Translating Python JSON and date handling to Scala
• Finding Scala equivalents for file and regex operations
• Porting HTTP requests and logging code

Choose and implement ways to distribute parallel tasks across workers, processes, or nodes. It covers fixed and dynamic partitioning, work stealing, and adaptive scheduling to reduce uneven workloads and slow stragglers.

中文简介正在准备中。当前显示英语简介。

• Balancing work across parallel workers
• Choosing a scheduling strategy for uneven task times
• Reducing delays from straggling tasks

Tune model predictive control (MPC) for tension control in web handling by choosing a prediction horizon and state and control cost weights. Understand how these choices affect disturbance rejection, tracking, actuator effort, response speed, and computation.

中文简介正在准备中。当前显示英语简介。

• Choose a prediction horizon for roll-to-roll tension control
• Balance tension tracking against actuator effort
• Reduce computation while maintaining disturbance rejection

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

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

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

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

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

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

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

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 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

Review or build web UI components against practical guidance for accessibility, performance, animation, and visual stability. It helps identify issues such as missing labels, unstable image layouts, inaccessible focus states, and inefficient rendering patterns.

中文简介正在准备中。当前显示英语简介。

• Reviewing UI components for accessibility issues
• Checking image and font loading for layout shifts
• Finding performance problems in large lists

Use this guide when building or refactoring React and Next.js applications. Its prioritized rules cover async work, bundle size, server and client data fetching, rerenders, rendering, and JavaScript performance, with examples to help agents improve code.

中文简介正在准备中。当前显示英语简介。

• Speeding up a React or Next.js page
• Reducing layout shifts or flicker
• Fixing hydration mismatches

Reviews failed GitHub Actions job logs for a pull request or specific job URLs. It returns a concise summary of the likely root cause, error messages, test names, and relevant log excerpts, so you can see what needs attention.

中文简介正在准备中。当前显示英语简介。

• Summarizing failed CI jobs for a pull request
• Investigating an individual GitHub Actions job
• Finding the error and related test in logs

Support Java and Spring Boot development with project scaffolding, generated JPA layers and REST endpoints, security configuration, dependency checks, and JVM performance guidance. It includes Python tools and references for enterprise applications, microservices, and reactive services.

中文简介正在准备中。当前显示英语简介。

• Scaffolding a Spring Boot service
• Generating JPA entities and related layers
• Creating REST endpoints with validation

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

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

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

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

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

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

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

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