メニュー
Runs an adversarial full review of a merge commit, PR, or branch range (AI-authored or not): Builder/Critic session separation, Spec+Diff-only critic input, parallel critic lanes (correctness, security, tests/CI), evidence-gated findings, and a structured merge verdict.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Plecto's core architecture — the two halves (native-Rust fast path / WASM extension plane), the WIT type contract between them, the deny-by-default capability boundary, the filter chain, typed decision/short-circuit, init vs per-request hooks, instance lifecycle, and host-held state.
Audits code for security vulnerabilities using OWASP Top 10:2025, OWASP ASVS 5.0, and the OWASP Secure Code Review Cheat Sheet, with Plecto-specific dimensions: WASM sandbox / capability boundary (deny-by-default, epoch metering, CVE-2022-39393 pooling leakage, OCI signature verification, untrusted multi-tenant filters) and L7 proxy / gateway risks (SSRF on upstream construction, TLS termination, request smuggling/splitting, header injection, rate-limit/WAF bypass). Produces a structured findings report (severity + OWASP/CWE/ASVS mapping + evidence + remediation).
Best practices for embedding wasmtime as Plecto's host: InstancePre + pooling allocator for fast per-worker instance reuse, epoch interruption + memory limits for metering, Linker-based deny-by-default host functions, Store-per-request lifecycle, async host calls, pooling zeroization (CVE-2022-39393), and OCI-artifact load + cosign signature verification.
Design and evolve Plecto's `plecto:filter` WIT world and host-API surface — the type contract between the native fast path and untrusted WASM filters. Covers worlds/interfaces, resources, the decision variant, minimal-capability host-API slicing, header bytes (list<u8>), the filter / filter-body world split (header-only vs buffered body), versioning/compat with frozen v0.1/v0.2 load-time adapters, and the projected stream<u8> + wasm32-wasip2 migration.
Rust ベストプラクティス。Plecto の fast path（native Rust）と wasmtime ホスト埋め込みの コード品質を保つ規約とパターン集（Edition 2024）。
TypeScript / JavaScript ベストプラクティス。型安全性とコード品質を保つ規約。 Plecto では (1) Node ツーリング・統合テスト・wasm-bindgen の node_pkg 周り、 (2) jco / componentize-js で書く JS/TS 製 WASM フィルタ、の二用途に効く。
| name | full-review |
| description | Runs an adversarial full review of a merge commit, PR, or branch range (AI-authored or not): Builder/Critic session separation, Spec+Diff-only critic input, parallel critic lanes (correctness, security, tests/CI), evidence-gated findings, and a structured merge verdict. |
| when_to_use | Use when the user asks to "full-review", "敵対的レビュー", "フルレビュー", "AI実装をレビュー", "マージコミットをレビュー", or to adversarially review a merge commit, PR, or AI-generated change set. |
| allowed-tools | Bash, Read, Glob, Grep, Agent, WebFetch, WebSearch |
| argument-hint | [<commit|PR|range>] [--lanes=correctness,security,tests] [--depth=standard|deep] |
AI 実装・大規模マージ差分向けの 敵対的フルレビュー。自己検証バイアスを構造的に避け、 見た目の正しさではなく 前提・境界・負の証拠・スコープ外変更 を検証する。
規範の一次ソース（要約は references/）:
詳細チェックリストは references/adversarial-checklist.md。
出力テンプレは references/report-template.md。
Plecto 固有のセキュリティ深掘りが必要なら security-auditor を 別レーンで起動する
（本スキルが代わりにならない）。
Agent（readonly）を Critic レーンとして起動する。親エージェントは Moderator に徹する。Needs evidence にする。Full Review Progress:
- [ ] Phase 0: Resolve target + Spec + blast radius
- [ ] Phase 1: Deterministic gates (fmt/clippy/test/deny as applicable)
- [ ] Phase 2: Spawn Critic lanes (parallel Agents, Spec+Diff only)
- [ ] Phase 3: Moderator synthesis (dedupe, evidence gate, severity)
- [ ] Phase 4: Emit report + merge recommendation
明文化してから進む（1 段落で可）:
| 項目 | 内容 |
|---|---|
| Target | merge SHA / PR number / base...head。未指定なら最新 merge commit |
| Spec | PR 本文・関連 ADR・触ったコンテキストの CONTEXT.md / design-principles 該当節 |
| Blast radius | 変更ファイル一覧。CI / deny / rules / lockfile / auth / sandbox / TLS をハイライト |
| Trust boundaries | クライアント入力 / untrusted filter 出力 / upstream / 設定 / host-API |
| Lanes | 既定: correctness, security, tests。--lanes で絞る |
範囲解決:
# 最新 merge
git log --merges -1 --format='%H %P'
# PR の場合
gh pr view <N> --json baseRefName,headRefOid,mergeCommit,files,body,title
# 差分一覧
git diff --stat <base>...<head>
git diff --name-only <base>...<head>
便利スクリプト: scripts/resolve-range.sh（あれば実行して base/head を確定）。
Security-critical surfaces（該当ファイルが触られていたら security レーン必須・閾値引き上げ）:
.github/workflows/**, deny.toml, Cargo.lock, rules（CLAUDE.md, .cursor/rules/**）変更種別に応じてローカルで回す。失敗は finding（Critical/High）として記録し、Critic 前に報告。
| 変更 | 最低限 |
|---|---|
| Rust workspace | cargo fmt --all -- --check / cargo clippy --all-targets --all-features -- -D warnings / 影響クレートの cargo test |
| CI / deny | workflow YAML・deny.toml の diff を人手で読む（スクリプト実行は任意） |
| docs-only | Phase 1 スキップ可 |
--depth=standard では影響クレート中心。--depth=deep では cargo test --all + deny 相当。
各レーンを 別 Agent（readonly） で起動。プロンプトには次のみを渡す:
base...head と git diff --stat / 重要ファイルパス渡してはいけないもの: 実装チャットの経緯、Builder の自己正当化、「意図はこうだった」。
security-auditor の reference を読ませる（親がパスを指示）レーン指示の詳細文面: references/adversarial-checklist.md。
親エージェントのみが行う:
| Severity | 意味 |
|---|---|
| Critical | 本番悪用可能 / fail-open / 秘密漏洩 / CI 汚染。マージ前必須修正 |
| High | 契約・境界の実害。マージ前修正が強く推奨 |
| Medium | 実害は条件付き。追跡 issue 可 |
| Low | 保守性・明確化 |
| Needs evidence | 疑わしいが未検証 |
references/report-template.md に従い、日本語で出力する （識別子・パス・コマンドは英語のまま）。
必須セクション:
merge-ready / fix-then-merge / do-not-merge）と一文理由修正実装は レビュー報告後にユーザーが依頼したときだけ行う。レビュー中に黙って直さない。
scripts/resolve-range.sh — merge/PR から base...head を解決