01
このSkillでできること
- ✓ベンダー済みCIVIL/EVILスナップショットと上流の差分を確認する
- ✓必要に応じてコーパスを再収集またはピン留めを更新する
- ✓オフラインベンチマークを実行し、現行デコンパイラーの結果を確認する
- ✓ピンを進めるべきか判断するための短いステータス報告を作成する
02
使い方
01
STEP 1
リポジトリルートから作業し、対象のコーパスと固定されたアセンブリを確認する
02
STEP 2
DecompilerHarnessを使って、CIVILコーパスの上流との対応を検証する
03
STEP 3
ドリフトがある場合はコーパスを再収集するか、ピンを更新する
04
STEP 4
同じコーパスに対してオフラインベンチマークを実行し、結果を報告する
03
Skillのインストール
初心者におすすめ
AIにこのSkillを追加してもらう
GitHub URLごとCodexやClaude Codeへ渡し、現在の環境に合う方法を判断してもらいます。
このGitHubリポジトリにあるSkillを確認し、現在の環境に適した方法でインストールしてください。
インストール後、正常に利用できることを確認し、基本的な使い方も簡潔に説明してください。
Repository:
https://github.com/richlander/dotnet-inspect04
このSkillを使うプロンプト例
Skill名を明示すると、意図したSkillを使わせやすくなります。自動発動型では必須とは限りません。
CIVIL/EVILコーパスが上流と一致しているか確認し、必要なら再収集またはピン更新を行ったうえで、オフラインベンチマークの結果とピンを進めるべきかを短く報告してください。出力例を見る
ステータス:上流との対応を確認済み。再収集またはピン更新の要否:要確認。オフラインベンチマーク結果:実行結果を記載。判断:現行ピンを維持/更新。05
安全性チェック
自動解析による参考情報です。Skillの安全性を保証するものではありません。
外部API通信検出あり
Shellコマンド実行明確な記述なし
ファイル読み取り検出あり
ファイル書き込み明確な記述なし
ネットワークアクセス検出あり
認証情報明確な記述なし
検出根拠を見る
- file_read: nl \ --repo "$(git rev-parse --show-toplevel)" \ $(cat /tmp/corpus-assemblies.txt) [large code block omitted]bash bash eng/prepare-decompiler-corp
- file_read: 00 \ --repo "$(git rev-parse --show-toplevel)" \ $(cat /tmp/corpus-assemblies.txt) [large code block omitted]bash dotnet run --project tools/Decom
- network: nline:** [production demo][api-demo] · [working build](https://dotnet-inspect.ca) · [nightly CoreCLR interpreter](https://coreclr.dotnet-inspect.ca) ##
- network: s://dotnet-inspect.ca) · [nightly CoreCLR interpreter](https://coreclr.dotnet-inspect.ca) ## Install or run Install the global tool: [large code block
06
関連Skill
decoding-effect-boundaries
Effect境界デコーダー
HTTPやWebSocket、OAuth、CLI入力などの信頼できない値を入口でEffect Schemaにより一度だけ検証・デコードし、後続処理を型付きに保つスキルです。
Effect Schemaデータ検証型安全
sci-deep-reader
Sci Deep Reader(科学文献深度精読)
PDFやOffice、Markdown、ウェブ、arXiv、DOIの科学文献を精読し、根拠と限界を示す解説レポートに整理するスキル。
評価確度:暫定科学文献論文精読文献解説
add-collection-member
コレクションメンバー追加
既存CollectionにSOAメンバーポインタを追加し、レイアウト依存箇所の更新漏れを防ぐチェックリストです。
評価確度:暫定C++23CollectionSOA