개발 스킬

Guide an approved defect fix from reproduction on current main through testing and independent validation. Record evidence for each operator workflow, track change size and rollback scope, and apply review records when receipt-driven development is enabled.

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

• Reproducing approved defects before implementation
• Recording runtime evidence for CLI and lifecycle flows
• Splitting fixes by cause and rollback scope

Guide changes to RDD reviewer integrations through a shared Go contract, a common set of processing rules. Define adapter boundaries, validate result handling, and check that runtime migrations preserve existing review outcomes.

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

• Moving reviewer invocation into a shared Go contract
• Checking that adapters only invoke reviewers and return raw output
• Verifying review outcomes during a runtime migration

Split changes exceeding 400 lines into linked pull requests with clear boundaries and dependencies. Choose a chain structure, keep tests and documentation with each work unit, and document review order, verification plans, and justified size exceptions.

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

• Splitting a change that exceeds 400 lines
• Planning PRs that can merge independently
• Coordinating a feature through a draft tracker PR

Prepare external contributions to gentle-ai through approved issues, accurate pull request descriptions, and plans for splitting large changes. Check claims against test results and GitHub state while respecting contributor and maintainer permissions.

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

• Prepare a contribution through the approved issue workflow
• Audit pull request claims against GitHub state
• Plan a sequence of related pull requests

Prepare and manage GitHub bug reports and feature requests using repository evidence and required forms. Check for duplicates, identify missing information, and verify published issues or comments before reporting the result.

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

• Preparing a bug report using the required issue form
• Checking for duplicate feature requests
• Adding information to an existing issue

Plan commits around complete features, fixes, or documentation changes, keeping related tests and docs together. Split larger work into reviewable units with recorded verification results and clear boundaries for rolling back changes.

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

• Split a feature into reviewable commits
• Keep tests and documentation with related code
• Plan related pull requests for a large change

Build and modify Native SDK apps with guidance on project structure, configuration, native features, packaging, and testing. Explains the default TypeScript and Native markup approach, plus WebViews, embedded web interfaces, and their permissions.

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

• Identify where to change an existing app
• Connect a web interface to native features
• Configure permissions for windows and dialogs

Build Native SDK app logic in TypeScript using explicit state, messages, and update functions. Explains the supported language subset, compiler diagnostics, module organization, and tests for logic that compiles directly into native code.

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

• Designing state and messages for a new app
• Fixing unsupported TypeScript constructs
• Splitting app logic into modules

Find the Native SDK guidance needed to build desktop apps with TypeScript and Native markup, a declarative UI format. Covers getting started and locating instructions for interface development, packaging, embedded web content, and running-app automation.

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

• Start a native desktop app
• Find guidance for building native interfaces
• Explore ways to embed existing web content

Guides development of Native SDK TypeScript services for file access, network requests, and other work outside the deterministic core. Covers typed calls, pinned npm dependencies, streaming, cancellation, replay, and process or thread execution.

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

• Adding or updating Native SDK TypeScript services
• Moving file access or JSON processing out of the core
• Investigating NS1065–NS1067 errors

Fix Native SDK build failures caused by older Zig APIs. Organized by compiler error, this guide shows Zig 0.16 patterns for file access, output, lists, processes, environment variables, clocks, networking, and build configuration.

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

• Migrating older Zig code to Zig 0.16
• Fixing file access and output errors
• Updating ArrayList allocation calls

Create Native SDK interfaces with .native markup, connecting layouts, widgets, and user actions to app state and messages. Covers TypeScript core integration, explicit Zig alternatives, menus, scrolling, embedded web panes, and interface verification.

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

• Building screens and connecting them to app state
• Adding context menus and menu-bar items
• Displaying long lists with virtualized rendering

Repair one independently confirmed local bug by addressing the rule the code violates and checking related variants within scope. Deliver regression tests, before and after test results, separate patch files, and one local commit.

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

• Repair a local bug after independent confirmation
• Check related violations within the agreed repair scope
• Record test results and patches for review

Diagnose Claude in Chrome connection failures on macOS by checking native messaging hosts, the processes linking Chrome to Claude, and their settings. It guides fixes for competing configurations, stale wrappers, and session conflicts, including restart steps.

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

• Investigate a browser extension connection error
• Restore browser integration after a Claude Code update
• Switch browser automation between Claude Code and Cowork

Turn Trail of Bits Testing Handbook content into Claude Code skills for security testing. Creates or refreshes SKILL.md files using templates for tools, fuzzers, techniques, and subject areas, then validates structure and links between skills.

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

• Generate security testing skills from handbook sections
• Refresh a skill after handbook updates
• Create multiple skills from handbook content

Select relevant code using Trailmark's map of function relationships, then delegate explanation, review, or edit proposals to a smaller model. Limit the supplied source, check cited evidence, and verify proposed changes before applying them.

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

• Asking a small model to explain a function
• Tracing callers and paths from entrypoints
• Requesting edit proposals for a specific line range

Create Mermaid diagrams from code relationships parsed by Trailmark. Visualize function calls, class inheritance, module dependencies, class members, complexity hotspots, and paths from inputs to sensitive functions, with adjustable focus, depth, and layout.

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

• Mapping function calls around a selected function
• Visualizing class inheritance and members
• Drawing module dependency maps

Turn cryptographic code or specifications into sequence diagrams showing who sends each message, which cryptographic operations occur, and where failures stop the exchange. Outputs include Mermaid source, a plain text diagram, and a protocol summary.

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

• Visualizing handshake and key exchange steps
• Extracting message flows from RFCs and papers
• Diagramming ProVerif or Tamarin models

Get a quick structural overview of a codebase with Trailmark. The skill identifies programming languages, counts entry points where execution begins, and returns dependency information to support orientation before deeper analysis.

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

• Getting oriented in an unfamiliar codebase
• Checking languages and entry point counts before analysis
• Preparing a structural overview for Vivisect or Galvanize

Writes and reviews Lean 4 proofs, machine-checked arguments for mathematics or specifications. Follows Mathlib conventions to organize definitions and lemmas, fill proof gaps, refactor lengthy proofs, and establish automated checks for unproved claims and style.

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

• Formalizing mathematics or specifications in Lean 4
• Filling sorry placeholders in proofs
• Splitting long proofs into reusable lemmas

Runs repeated reviews and fixes on a Claude Code skill until no critical or major findings remain. Tracks findings across rounds, checks change boundaries, and stops for a design decision when fixes stop making progress.

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

• Refining a skill until critical and major findings are resolved
• Improving skill metadata, trigger descriptions, and references
• Tracking recurring findings across review rounds

Guides agents to access GitHub repositories, pull requests, issues, and APIs through the authenticated gh command-line tool. Covers private repository access and recommends cloning repositories to read files locally, with commands for viewing GitHub information.

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

• Viewing GitHub pull requests and issues
• Accessing private repositories with authentication
• Querying the GitHub API through gh

Runs repeated PR reviews and fixes on the directories changed by the current branch. Uses an installed reviewer, checks editing scope after each round, and reports whether blocking findings were resolved or the loop stopped.

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

• Cleaning up a branch before opening a pull request
• Fixing review findings before updating a pull request
• Repeating reviews after each fix

Set up Python projects and standalone scripts with uv for dependencies, ruff for code checks and formatting, and ty for type checking. Configure tests and project files, or migrate existing workflows when requested.

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

• Starting a Python project or reusable package
• Writing a standalone script with external dependencies
• Configuring formatting, type checks, and tests