開発のスキル

AIによるRDDレビューの呼び出し処理を、Goの共通仕様に沿って設計・検証します。実行環境ごとの接続処理と結果の受け入れ判定を分け、移行時の確認項目を整理します。

• レビュー呼び出しをGoの共通仕様へ移したいとき
• アダプターの役割分担を点検したいとき
• 実行環境の移行で判定の変化を検証したいとき

承認済みの不具合について、現行コードでの再現から修正・独立検証までを進める手順です。操作ごとの実行証拠、変更行数、取り消し範囲を記録してレビューに備えます。

• 承認済みの不具合を実装前に再現したいとき
• CLIや開始・終了処理の実行証拠を記録
• 原因と取り消し範囲で修正を分割したいとき

リポジトリの規約と既存の報告を確認し、GitHubの不具合報告や機能要望を作成・整理します。指定フォームに沿って不足情報や重複を確認し、投稿後の照合まで進めるスキル。

• 指定フォームで不具合を報告したいとき
• 機能要望の重複を確認したいとき
• 既存Issueに情報を追加したいとき

gentle-aiへの外部貢献で、Issueの承認からPR本文の作成・監査、変更の分割方針までを支援します。権限と検証結果に沿って提出内容を整えます。

• 承認済みIssueに沿って貢献したいとき
• PRの主張をGitHubの状態と照合したいとき
• 関連するPRの分割方針を決めたいとき

機能や修正のまとまりごとにコミットを計画し、関連するテストと説明文書も同じ単位に含めます。大きな変更をレビューしやすく、個別に戻せる形へ分けます。

• 機能をレビューしやすいコミットに分けたいとき
• コードとテスト・文書を一緒に管理したいとき
• 大きな変更を複数のPRに分けたいとき

400行を超える変更を、依存関係が分かる複数のPRへ分割します。各PRの作業範囲と順序、検証計画を整理し、テストや文書を対応する変更と一緒にレビューへ出せる形にします。

• 400行を超える変更を分割したいとき
• 独立してマージできるPR構成の計画
• 追跡用PRで機能全体を管理したいとき

Native SDKのZigコードで起きる旧API由来のビルドエラーを調べ、ファイル入出力や配列、プロセス処理をZig 0.16向けに直すスキル。

• 古いZigコードを0.16へ移行
• ファイル入出力や出力エラーの修正
• ArrayListのメモリ確保処理の更新

Native SDKアプリの構成を読み解き、機能追加や配布に必要な実装・設定を案内します。画面と処理の分担からWeb連携、権限設定、テストまで扱う開発ガイドです。

• 既存アプリの変更箇所を見極めたいとき
• Web画面とネイティブ機能を連携したいとき
• ウィンドウやダイアログの権限設定

Native SDKの画面を.nativeファイルで組み立て、レイアウトや入力部品をアプリの状態・メッセージにつなぎ、動作を検証するためのスキル。

• 画面の作成とアプリ状態への接続
• 右クリックメニューやメニューバーの追加
• 長い一覧を仮想リストで表示

Native SDKアプリの状態と処理をTypeScriptで設計・実装し、ネイティブコードへ変換できる構文や制約、検証方法を案内するスキル。

• 新規アプリの状態とメッセージの設計
• 未対応のTypeScript構文の修正
• アプリの処理をモジュール分割

TypeScriptとNative markupでデスクトップアプリを作るための導入ガイド。ひな形作成、画面実装、配布、動作確認に必要なNative SDKの手順へ案内します。

• デスクトップアプリを作り始めたいとき
• ネイティブ画面の実装手順を探したいとき
• 既存のWeb画面を組み込みたいとき

Native SDKでファイル操作や通信などをTypeScriptサービスへ分離する開発ガイド。型付きの呼び出し、npm依存の固定、キャンセルや再生の扱いを整理します。

• TypeScriptサービスを追加・変更したいとき
• ファイル操作やJSON処理をコアから移すとき
• NS1065–NS1067の原因調査

確認済みのローカル不具合に対し、守るべき条件の破れと同種の問題を範囲内で調べ、修正前後のテスト結果、差分、単一のローカルコミットを残します。

• 独立検証済みの不具合を直したいとき
• 修正範囲内の同種の問題を調べたいとき
• テスト結果と修正差分を残したいとき

macOSでClaude in Chromeの接続不良を調べ、Claude CodeとClaude.appの設定競合や通信ファイルの問題を切り分け、復旧を支援するスキル。

• ブラウザ拡張の接続エラーを調べたいとき
• Claude Code更新後の接続復旧
• Claude CodeとCoworkの連携切替

Trail of BitsのTesting Handbookをもとに、セキュリティテスト用のClaude Codeスキルを生成・更新し、形式や参照関係を検証します。

• ハンドブックからテスト用スキルを作成
• 資料の更新に合わせたスキル改訂
• 複数の章からスキルを一括生成

関数の呼び出し関係を基に必要なコードだけを切り出し、小型モデルへ分析や修正案の作成を任せます。渡す情報量を制限し、返された根拠や提案を検証します。

• 小型モデルに関数を説明させたいとき
• 呼び出し元や入口からの経路の調査
• 指定行の修正案を依頼したいとき

暗号通信のコードや仕様書から、誰が何を送るかと暗号処理を読み取り、鍵交換や認証の流れ、エラー時の分岐を注記付きのシーケンス図にまとめるスキル。

• ハンドシェイクや鍵交換を図解したいとき
• RFCや論文から通信手順を整理したいとき
• ProVerifやTamarinモデルの図解

コードベースの使用言語、処理の入口数、依存関係をTrailmarkで調べます。初めて触るコードの全体像や、詳しい構造分析に入る前の概要を把握するスキルです。

• 未知のコードベースを把握したいとき
• 分析前に使用言語と入口数を確認
• VivisectやGalvanizeの事前確認

Lean 4で数学や仕様の証明を書き、Mathlibの慣習に沿って定義と補題を整理します。未証明部分の補完、長い証明の分割、レビューや検証環境の整備も支援します。

• Lean 4で数学や仕様を形式化したいとき
• sorryの未証明部分を埋めたいとき
• 長い証明を再利用できる補題に分けたいとき

コードを解析したTrailmarkのグラフから、関数の呼び出しやクラスの継承、モジュールの依存関係、複雑な箇所やデータの流れをMermaidの図にするスキル。

• 特定関数の呼び出し関係を把握したいとき
• クラスの継承とメンバー構成の図解
• モジュールの依存関係を図にしたいとき

ブランチのコード変更を理解しやすい順序に整理し、差分・解説・重要度付きの指摘をまとめた、ブラウザで確認できる対話型HTMLのレビュー資料を作成します。

• ブランチの変更を順序立てて理解したいとき
• 差分と設計意図を併せて確認したいとき
• 重要度付きのレビュー指摘の確認

コンパイル済みバイナリのDWARFデバッグ情報を検索・検証し、関数や型の構造の読み解き、仕様の確認、情報を取り出す解析コードの作成を支援します。

• デバッグ情報から関数や型を探したいとき
• DWARFの構造的な整合性の確認
• デバッグ情報の品質指標の比較

現在のブランチで変更したディレクトリを対象に、PRレビューと修正を繰り返し、重大な指摘がなくなるまで改善を進め、結果と残る指摘を報告するスキルです。

• PR作成前のブランチ整理
• PR更新前にレビュー指摘を直したいとき
• 修正のたびに再レビューしたいとき

既存のC++コードの見直しや新規実装で、C++20/23/26の書き方を案内します。メモリ管理やエラー処理の置き換え、安全性を高める設定を支援するスキル。

• 古いC++の書き方を更新したいとき
• 新規C++実装の方式を選びたいとき
• メモリ所有権とエラー処理のレビュー