개발 스킬

Turn sequential Python work into concurrent or parallel code suited to its bottleneck: multiprocessing for CPU-heavy tasks, asyncio or threads for waiting on I/O, and vectorization for array operations. The guidance accounts for shared state, ordering, errors, and resource limits.

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

• Speed up independent CPU-heavy loop iterations
• Run many network or file requests concurrently
• Replace nested numeric loops with vectorized operations

Use this skill to answer reflow oven maintenance questions by finding relevant handbook guidance and checking it against thermocouple, MES, or defect data. It supports calculations for temperature profiles, time above liquidus, peak temperatures, and conveyor speed.

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

• Checking a temperature profile against handbook limits
• Calculating time above liquidus from thermocouple readings
• Comparing MES or defect data with maintenance guidance

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

Translate Python object-oriented code into Scala by mapping classes, dataclasses, inheritance, properties, static and class methods, and common design patterns to Scala constructs. Get concrete examples of equivalent structures and idiomatic alternatives.

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

• Converting Python classes and dataclasses to Scala
• Mapping inheritance and abstract classes to Scala traits
• Translating properties and class-level methods

Translate Python patterns such as higher-order functions, decorators, closures, and generators into functional Scala. The guide provides examples for pattern matching, Option-based missing values, error handling, lazy sequences, function composition, currying, and type classes.

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

• Porting Python functions and generators to Scala
• Replacing Python optional values and exceptions with Scala patterns
• Writing idiomatic functional Scala from Python examples

Diagnose Python memory use and reduce a program’s footprint while preserving its behavior. Profile allocations, identify inefficient data structures or leaks, and apply techniques such as generators, chunked processing, smaller object layouts, and optimized numeric types for large datasets.

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

• Reduce memory use in a Python program
• Investigate a suspected memory leak
• Process a large CSV in chunks

Translate Python list, dictionary, and set operations into idiomatic Scala collection code. Compare examples for mapping, filtering, folding, sorting, grouping, aggregation, lookup, and the differences between mutable and immutable collections.

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

• Porting Python collection code to Scala
• Translating map, filter, and reduce operations
• Replacing dictionary lookups with Scala Maps

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

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

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

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

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

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

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

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