개발 스킬

Fix missing theorem proof terms when analyzing Lean 4 environments via importModules. Use when: (1) ConstantInfo.value? returns none for theorems despite TheoremVal.value being Expr, (2) building code graph / dependency extractor for Lean 4 and getting 0 proof dependency edges, (3) Lean 4.30+ project where theorem proofs appear missing from loaded environment, (4) analyzing Mathlib or any Lean 4 project and proof terms are empty. Root cause: breaking change in Lean 4.30 — value? treats theorems as opaque by default.

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

Fix scattered/torn regions in hex-grid simulated annealing layouts that use "competitive flood-fill" (one tile per region per outer iteration). Use when: (1) regions of >20 tiles end up dispersed instead of forming compact blobs, (2) maxDist/sqrt(N) dispersion ratio is 10×+ worse than the ideal compact blob, (3) tiles assigned to one region show up in multiple disconnected fragments across the layout, (4) the visualization has a "trypophobia ring" pattern at the perimeter where some regions spill into a perimeter spiral, (5) an overflow spiral fallback exists in the layout code and frequently kicks in for large regions, (6) bigger regions look worse than smaller ones (small regions stay compact, big ones shred). Root cause: interleaved competitive flood-fill (round-robin one tile at a time across all regions) lets large regions get boxed in by neighbors before they finish growing — the unfilled remainder is dumped into the overflow spiral at the perimeter, far from the seed. Fix: replace with sequential region-by-region BFS — process regions in size-descending order, fully claim each region's N contiguous tiles before moving to the next.

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

Force `rust-embed` to re-embed assets from `$GRAFEMA_UI_DIST` (or any env-driven path) when cargo's incremental compilation skips the macro re-expansion. Use when: (1) you rebuilt the GUI bundle but the rust-server binary still serves the OLD bundle, (2) `cargo build --release` finishes in seconds (incremental hit) and `strings target/release/binary | grep <new-hash>` finds nothing, (3) any rust-embed pipeline where assets live outside the cargo source tree and are picked up via env var or symlink. Cargo only re-runs the proc macro when the rust file declaring `#[derive(RustEmbed)]` changes — env var changes alone don't trigger it.

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

How to write a Grafema batch-mode plugin that reads the graph and filesystem, then writes new edges/nodes directly to RFDB. Use when: (1) need to add project-specific edges that generic analyzers can't produce, (2) need to read config files (JSON/YAML) and trace values into code, (3) implementing framework-specific resolvers (Django settings, Express routes, pipeline configs). Covers: grafema.config.yaml plugin config, RFDB field naming (src/dst NOT source/target), addEdges/addNodes API, RFDBServerBackend connection pattern.

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

Use when running the full team/breezing flow end-to-end — all tasks with parallel workers. Do NOT load for: single-task implementation, planning, review, release, or setup.

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

Use when researching Claude Code or Codex upstream releases, selecting adaptations, or preparing Harness upgrades. Local-only; not for distribution.

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

Orchestrates the full powerball-harness plugin release with build, validation, version bump, CHANGELOG, tag, and GitHub Release. Use when releasing this plugin.

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

Use when implementing, executing, or running Plans.md tasks — single task, parallel workers, or full team/breezing run. Accepts specific task numbers or ranges. Do NOT load for: planning, review, release, or setup.

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

Use when running Plans.md tasks on a scheduled cadence (fresh context per wake-up, sprint-contract flow, plateau detection, flock guard). Do NOT load for: single-task work (harness-work), planning, review, release.

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

Guide for writing, configuring, and debugging Claude Code hooks. Use when adding, writing, or debugging hooks — including silent failures and permission errors.

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

時雨堂の WebRTC SFU Sora 向け Android クライアント SDK (sora-android-sdk) の機能・API リファレンス。SoraMediaChannel / SoraMediaOption / SoraAudioOption / SoraVideoOption による接続管理、音声・映像の送受信、ソフトミュート / ハードミュート、カメラ制御、DataChannel メッセージング、JSON-RPC 2.0 over DataChannel、WebRTC 統計情報取得、ステレオ音声の送受信、TLS / mTLS / TURN-TLS / プロキシ設定、サイマルキャスト / スポットライト / 転送フィルター、ビルド・テスト手順に関する質問時に使用。

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

Systematic debugging with root cause investigation. Four phases: investigate, analyze, hypothesize, implement. Iron Law: no fixes without root cause.

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

Drive an Upstash Box (a remote sandboxed workspace) from the terminal with the `box` CLI. Use when asked to run commands, edit files, clone repos, run builds or tests, publish a public URL, browse or screenshot a page, open a pull request or issue with a screenshot attached, schedule recurring work, run an AI agent, or do any work inside a box rather than on this machine.

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

Run the Upstash CLI (`upstash`) from a terminal, shell script, or CI job when no Upstash MCP tools are in the session. Do not load this skill when Upstash MCP tools are available (the Upstash plugin registers mcp.upstash.com) - they already cover creating, listing, renaming, and deleting Redis databases, running Redis commands, usage stats, backups, Vector and Search indexes, QStash schedules and messages, Blob buckets, and Box, so call them directly. Use this skill for shell work the MCP does not do - a CI step or provisioning script that needs `upstash` commands with JSON output, piping results into other commands, `upstash auth login` and API-key setup, team and member management, changing plans, regions, TLS, eviction, auto-upgrade, or budgets, minting temporary S3 credentials for a Blob bucket, connecting a coding agent to Upstash with `upstash setup` (the Upstash plugin, or the remote MCP server plus skills), or when the user explicitly asks for the CLI or for managing Upstash without the console.

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

Threat intelligence fusion skill for collecting, normalizing, deduplicating, enriching, and operationalizing IOCs and TTPs from OTX, MISP, abuse.ch, VirusTotal, Shodan, GreyNoise, Censys, CISA KEV, NVD, vendor blogs, and internal telemetry. Use to build STIX/TAXII feeds, ATT&CK-mapped actor profiles, prioritized blocklists, and detection-ready intel packages.

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

Go software engineering skill for designing, implementing, debugging, testing, reviewing, and refactoring Go applications, CLIs, APIs, services, concurrency code, modules, and tooling. Use for .go files, go.mod/go.sum, goroutines/channels, interfaces, error handling, performance profiling, race fixes, and idiomatic Go architecture.

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

Python engineering skill for implementing, debugging, testing, packaging, typing, reviewing, and refactoring Python applications, scripts, APIs, automation, data processing, CLIs, and libraries. Use for .py files, pyproject.toml, requirements files, pytest, async Python, type hints, packaging, dependency management, and Python performance or reliability work.

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

Assembly programming and low-level debugging skill for reading, writing, explaining, optimizing, and reviewing assembly across x86, x86-64, ARM, AArch64, RISC-V, calling conventions, ABI boundaries, inline assembly, disassembly, stack frames, registers, and binary-level behavior. Use for .s/.asm files, compiler output, reverse-engineering snippets, low-level performance, and crash analysis.

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

Review a pull request and leave inline comments on GitHub.

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

Geocode an address, find places nearby, or compute a route.

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

Control Philips Hue lights, scenes, rooms via OpenHue CLI.

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

Verify a change before committing: security, tests, independent review.

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

Inspect and commit local git work, or branch into an isolated worktree.

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

Authenticate to GitHub with a token, an SSH key, or the gh CLI.

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