osv-scanner-mcp 0.4.2 → 0.5.0

package/README.md

@@ -7,7 +7,7 @@
 
 Google製 [OSV-Scanner](https://github.com/google/osv-scanner) をラップするMCPサーバーです。Claude等のMCPクライアントから「このプロジェクトの脆弱性をチェックして」と自然言語で依頼するだけで、依存ライブラリの既知の脆弱性(CVE / GHSA)を深刻度順のレポートで取得できます。
 
-> **ステータス**: [npmで公開中](https://www.npmjs.com/package/osv-scanner-mcp)(`npx -y osv-scanner-mcp`)。Java(Maven / Gradle)、JavaScript(npm / yarn / pnpm / bun)、Python(Poetry / uv / Pipenv / PDM / requirements.txt)、Go のlockfileに対応しています(修正版の推奨はJavaのみ)。MCPクライアントは Claude Code / Claude Desktop / Codex CLI / Antigravity / VS Code(GitHub Copilot)での利用手順を用意しています。
+> **ステータス**: [npmで公開中](https://www.npmjs.com/package/osv-scanner-mcp)(`npx -y osv-scanner-mcp`)。Java(Maven / Gradle)、JavaScript(npm / yarn / pnpm / bun)、Python(Poetry / uv / Pipenv / PDM / requirements.txt)、Go のlockfileに対応しています(修正版の推奨はJava・JavaScript・Go)。MCPクライアントは Claude Code / Claude Desktop / Codex CLI / Antigravity / VS Code(GitHub Copilot)での利用手順を用意しています。
 
 ## 特徴
 
@@ -142,7 +142,7 @@ osv-scanner v2.4.0 で接続先を実機確認した結果です(2026-10-07)。
 | 操作 | 接続先 | 送られる情報 |
 |---|---|---|
 | `pom.xml` のスキャン(`scan_project` / `scan_java_project` / `suggest_fix`) | `api.osv.dev`、**`api.deps.dev`** | パッケージの名前とバージョン。deps.dev には推移的依存の解決のため、`pom.xml` に宣言された依存(社内パッケージを含む)の名前とバージョンが送られます |
-| `requirements.txt` のスキャン(`scan_project`) | `api.osv.dev`、**`api.deps.dev`** | `pom.xml` と同じく、推移的依存の解決のため記載された依存の名前とバージョンが deps.dev に送られます。`--index-url` 等に書かれた取得先へは接続しません |
+| `requirements.txt` のスキャン(`scan_project` / `suggest_fix`) | `api.osv.dev`、**`api.deps.dev`** | `pom.xml` と同じく、推移的依存の解決のため記載された依存の名前とバージョンが deps.dev に送られます。`--index-url` 等に書かれた取得先へは接続しません |
 | lockfileのスキャン(`gradle.lockfile`、`package-lock.json` 等のnpm系、`poetry.lock` 等のPython系、`go.mod`) | `api.osv.dev` | パッケージの名前とバージョン(lockfileに全依存が記載済みのため、解決のための外部接続はしません) |
 | `scan_java_artifact` / `scan_sbom` | `api.osv.dev` | 同定できたパッケージの名前とバージョン |
 | `explain_vulnerability` | `api.osv.dev` | 指定した脆弱性ID |
@@ -212,7 +212,7 @@ api.osv.dev と deps.dev はどちらも Google が運営するサービスで
   - 各一覧は200件までで、超えた分の件数を `omitted_items` に返します
 - `ecosystem_breakdown` は、脆弱性0件のエコシステムも含めて「スキャンした」ことを示します
 - `dependency_groups` はOSV-Scannerが付けた依存グループ(例: `dev`)の生の値です。lockfileの形式によって欠落・不正確なため(pnpmでは付かず、pdmでは `optional` になる等)、参考情報として扱ってください
-- 修正版の推奨(`suggest_fix`)は現在Javaのみ対応です
+- 修正版の推奨(`suggest_fix`)はJava・JavaScript・Goに対応しています(Pythonは未対応)
 
 ### `scan_java_project`
 
@@ -333,23 +333,26 @@ OSV-Scanner 2.4.0の `java/archive` プラグインを使用し、ネストJAR
 
 ### `suggest_fix`
 
-スキャンを実行し、脆弱なパッケージごとに**推奨アップグレードバージョン**を提案します。単純な最大バージョンではなく、現在のバージョンに最も近いリリース系統の修正版を3段階フォールバックで選定します:
+`scan_project` と同じ検出・スキャンを実行し、脆弱なパッケージごとに**推奨アップグレードバージョン**を提案します。推奨はJava(Maven / Gradle)・JavaScript(npm)・Goに対応し、Python(PyPI)は未対応です。単純な最大バージョンではなく、現在のバージョンに最も近いリリース系統の修正版を3段階フォールバックで選定します:
 
 | Tier | 意味 |
 |---|---|
-| `same_minor` | 現在と同じ major.minor 系統内の修正版(最小の変更で済む) |
+| `same_minor` | 現在と同じ系統内の修正版(最小の変更で済む) |
 | `major_internal` | 同一メジャー内の修正版(マイナーバージョンアップが必要) |
 | `cross_major` | メジャーアップグレードが必要(破壊的変更の可能性あり) |
 
-**入力**: `scan_java_project` と同じ(`project_path`)
+npm・Goの「同じ系統」は、npmの `^`(キャレット)が互換とみなす範囲です。1.0.0以上は Maven と同じく major.minor 単位ですが、0.x では同じ `0.minor` 内だけを同じ系統とし、マイナー更新(`0.3` → `0.4`)は `cross_major`、0.0.x ではどの更新も `cross_major` として扱います(SemVerでは0.xの更新は互換を保証しないため)。
+
+**入力**: `scan_project` と同じ(`project_path`)
 
 **出力(成功時)**
 
 ```json
 {
   "project_dir": "/path/to/project",
-  "manifests": ["pom.xml"],
+  "manifests": ["pom.xml", "web/package-lock.json"],
   "dependency_resolution": { "transitive_resolution": "enabled" },
+  "coverage": { "complete": true, "manifests": [ ... ], "lockfile_missing": [], "unpinned_requirements": [], "unscannable_requirements": [], "skipped_files": [] },
   "vulnerable_package_count": 4,
   "unfixed_vulnerability_count": 1,
   "suggestions": [
@@ -370,10 +373,13 @@ OSV-Scanner 2.4.0の `java/archive` プラグインを使用し、ネストJAR
 ```
 
 - `recommended_upgrade` は既知の修正版を候補に、修正対象の全CVEの影響範囲外と確認できたものを3段階Tier順・バージョン昇順で選びます。CVEごとの修正版の最大値を単純に採用せず、別系統で再び影響を受ける候補も除外します。全公開版の中での最小性や未検出の脆弱性がないことは保証しません。
-- MavenのOSV `ECOSYSTEM` 範囲(`introduced` / `fixed` / `last_affected` / 上限なし)を照合します。`versions` に明示された影響も確認します。範囲欠落・不正・未対応形式・`limit` による不完全な情報では安全と推定せず、候補を検証できなければ `recommended_upgrade: null`、`verification: "no_verified_candidate"` を返します。
+- OSVの影響範囲(`introduced` / `fixed` / `last_affected` / 上限なし)を照合します。MavenはMavenの優先順位で `ECOSYSTEM` 範囲を、npm・GoはSemantic Versioningの優先順位で `SEMVER` / `ECOSYSTEM` 範囲を使います。`versions` に明示された影響も確認します。範囲欠落・不正・未対応形式(`GIT` 等)・`limit` による不完全な情報や、SemVerとして解釈できない版(一部のGHSAに残る `19.03.9` のような表記)を含む場合は安全と推定せず、候補を検証できなければ `recommended_upgrade: null`、`verification: "no_verified_candidate"` を返します。
+- プレリリース版(`5.0.0-beta.3`、`15.6.0-canary.61`、Goの疑似バージョン)は、正式版の候補では全CVEを解消できない場合だけ推奨し、`recommended_is_prerelease: true` を付けます。同じTierのプレリリースより、上のTierの正式版を優先します。
 - 推奨時は `verification: "verified"`、CVEごとの `recommended_status` は `affected` / `not_affected` / `unknown` です。推奨保留時は `not_evaluated` になります。`per_cve_detail.fixed_in` は各CVE単独の候補であり、最終推奨先の判定は `recommended_status` を参照してください。
-- 現在より新しい修正版候補がないCVEは `tier: "unfixed"` として推奨の修正対象から除外します(情報欠落を含む場合があります)。除外したCVEも推奨先で判定し、その状態を表示します。全CVEがunfixedの場合も `recommended_upgrade` は `null` です。
-- 修正版の推奨はMavenのみ対応です。Maven以外のパッケージは `verification: "unsupported_ecosystem"`、CVEごとの `tier: "unsupported"` を返し、`unfixed` には数えません(修正版の有無は判定していないため。修正版は `scan_project` の `fixed_versions` や `explain_vulnerability` で確認できます)。
+- 現在より新しい修正版候補がないCVEは `tier: "unfixed"` として推奨の修正対象から除外します(情報欠落を含む場合があります)。除外したCVEも推奨先で判定し、その状態を表示します。全CVEがunfixedの場合も `recommended_upgrade` は `null` です。修正版の記載はあるがバージョンとして解釈できないCVE(SemVerでない `13.0` 等)は `tier: "unparseable_fix"` とし、修正版が無いとは扱わず修正対象に残すため、推奨は保留(`no_verified_candidate`)になります。
+- npm・Goの提案には更新方法の `update_hint` を付けます。推移的依存の場合、npmでは要求している直接依存の更新か、ルートの `package.json` の `overrides`(ルートのプロジェクトでのみ有効)で版を指定します。Goでは `go get <module>@<version>` で更新できます。Goのv2以上のメジャーは別のモジュールパス(`/v2` 等)としてOSV上も別パッケージになるため、新しいメジャー系列の修正版は候補に含まれません。現在の版が疑似バージョン(タグのないコミット)の場合は `upgrade_note` に示します。
+- Python(PyPI)など推奨に未対応のエコシステムは `verification: "unsupported_ecosystem"`、現在の版をバージョンとして解釈できない場合(npmのgit・ローカルパス依存等)は `verification: "unparseable_version"` を返し、どちらもCVEごとの `tier: "unsupported"` として `unfixed` には数えません(修正版の有無は判定していないため。修正版は `scan_project` の `fixed_versions` や `explain_vulnerability` で確認できます)。
+- 応答の `coverage` は `scan_project` と同じです。lockfileの無いマニフェストや外したファイルがあれば `complete: false` になり、それらの依存は提案に含まれません。v0.4.2以前の `skipped_manifests` / `scope_warning` は `coverage.skipped_files` / `coverage.warning` に統合しました。
 
 ### `explain_vulnerability`
 
@@ -458,7 +464,7 @@ npm run build             # dist/ へビルド
 - [x] Gradle対応(lockfile方式)
 - [x] `scan_java_artifact` ツール: JAR/WAR実体スキャン(lockfileが無い・shaded/fat JARのみのプロジェクト向け)
 - [x] `scan_project` ツール: Java / JavaScript / Python / Go のlockfileをまとめてスキャン
-- [ ] `suggest_fix` のJavaScript / Go対応(semver)
+- [x] `suggest_fix` のJavaScript / Go対応(semver)
 - [ ] `suggest_fix` のPython対応(PEP 440)、直接/推移的依存の区別
 
 ## ライセンス

package/dist/index.js

@@ -36,7 +36,7 @@ if (startupWarning !== null) {
 // NOTE: リリース時はpackage.jsonのversionと同じ値に更新すること
 const server = new McpServer({
     name: "osv-scanner-mcp",
-    version: "0.4.2",
+    version: "0.5.0",
 });
 server.registerTool("scan_project", {
     title: "プロジェクトの依存の脆弱性スキャン(Java / JavaScript / Python / Go)",
@@ -45,7 +45,7 @@ server.registerTool("scan_project", {
         "Python(poetry.lock / uv.lock / Pipfile.lock / pdm.lock / requirements.txt)、Go(go.mod)。" +
         "パッケージマネージャーやビルドは実行しない。" +
         "応答先頭のcoverageを必ず確認すること: lockfileが無いマニフェスト、バージョン未固定のrequirements行、スキャン対象から外したファイルを示す。" +
-        "coverage.complete=falseの場合は、検出0件でも安全とは判断しないこと。修正版の推奨(suggest_fix)は現在Javaのみ対応。",
+        "coverage.complete=falseの場合は、検出0件でも安全とは判断しないこと。修正版の推奨(suggest_fix)はJava・JavaScript・Goに対応(Pythonは未対応)。",
     inputSchema: {
         project_path: z
             .string()
@@ -68,18 +68,20 @@ server.registerTool("scan_java_project", {
 }, async ({ project_path }) => handleScanJavaProject({ project_path }, { allowedRoot: allowedRootFromEnv() }));
 server.registerTool("suggest_fix", {
     title: "脆弱性を解消する推奨アップグレードの提案",
-    description: "Java(Maven)プロジェクトをスキャンし、脆弱な依存パッケージごとに推奨アップグレードバージョンを提案する。" +
+    description: "scan_projectと同じ検出でプロジェクトをスキャンし、脆弱な依存パッケージごとに推奨アップグレードバージョンを提案する。" +
+        "推奨はJava(Maven / Gradle)・JavaScript(npm)・Goに対応し、Python(PyPI)はunsupported_ecosystemとして返す。" +
         "現在のバージョンに最も近いリリース系統の修正版を優先する3段階フォールバック" +
-        "(same_minor: 同一major.minor系統内 → major_internal: 同一メジャー内 → cross_major: メジャーアップグレード)で選定し、" +
-        "推奨バージョン・アップグレード距離(upgrade_tier)・CVEごとの修正版を返す。" +
-        "候補を全修正対象CVEの影響範囲と照合し、情報不足の場合は推奨を保留する。" +
-        "現在より新しい修正版候補のないCVEはunfixedとして別表示し、推奨先での判定も返す。Maven(pom.xml)とGradle(gradle.lockfile)に対応。" +
+        "(same_minor: 同一系統内 → major_internal: 同一メジャー内 → cross_major: メジャーアップグレード)で選定し、" +
+        "推奨バージョン・アップグレード距離(upgrade_tier)・CVEごとの修正版を返す。npm・Goでは0.x系のマイナー更新もcross_major(破壊的変更の可能性)。" +
+        "候補を全修正対象CVEの影響範囲と照合し、情報不足の場合は推奨を保留する。プレリリース版は正式版で解消できない場合だけ推奨し、recommended_is_prereleaseを付ける。" +
+        "現在より新しい修正版候補のないCVEはunfixedとして別表示し、推奨先での判定も返す。" +
+        "応答のcoverageを必ず確認すること(complete=falseなら提案に含まれない依存がある)。" +
         "dependency_resolution.warningがある場合は推移的依存の脆弱性が提案に含まれない。",
     inputSchema: {
         project_path: z
             .string()
             .min(1)
-            .describe("スキャン対象のプロジェクトディレクトリ、またはpom.xml/gradle.lockfileの絶対パス"),
+            .describe("スキャン対象のプロジェクトディレクトリ、または対応するlockfile・マニフェストの絶対パス"),
     },
 }, async ({ project_path }) => handleSuggestFix({ project_path }, { allowedRoot: allowedRootFromEnv() }));
 server.registerTool("explain_vulnerability", {

package/dist/osv/affectedVersions.js

@@ -1,8 +1,16 @@
-import { compareMavenVersions } from "../utils/mavenVersion.js";
 import { asArray, asRecord, asString } from "../utils/unknownJson.js";
-/** Preserve uncertainty: unsupported or malformed ranges cannot prove a candidate safe. */
+import { versionRangeTypes, versionSchemeFor } from "./versionScheme.js";
+/**
+ * Preserve uncertainty: unsupported or malformed ranges cannot prove a candidate safe.
+ * 比較・範囲の型はエコシステム別(versionScheme.ts)。比較器のないエコシステムは常に情報不足。
+ * 解釈できない版(SemVerでない値等)を含む範囲は判定に使わず、情報不足とする。
+ */
 export function extractAffectedVersions(details, ids, name, ecosystem) {
-    const evidence = { complete: ecosystem === "Maven", intervals: [], versions: [] };
+    const scheme = versionSchemeFor(ecosystem);
+    const rangeTypes = versionRangeTypes(ecosystem);
+    const evidence = { complete: scheme !== null, intervals: [], versions: [] };
+    const valid = (value) => scheme?.isValid(value) ?? false;
+    const compare = (a, b) => scheme?.compare(a, b) ?? 0;
     if (ids.length === 0 || ids.some(id => !details.some(d => d.id === id)))
         evidence.complete = false;
     for (const detail of details) {
@@ -20,7 +28,7 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
                 evidence.complete = false;
             for (const version of asArray(affected?.versions)) {
                 const value = asString(version);
-                if (!value)
+                if (!value || !valid(value))
                     evidence.complete = false;
                 else
                     evidence.versions.push(value);
@@ -31,7 +39,8 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
                 evidence.complete = false;
             for (const rawRange of ranges) {
                 const range = asRecord(rawRange);
-                if (range?.type !== "ECOSYSTEM") {
+                const type = asString(range?.type);
+                if (range === null || type === null || !rangeTypes.has(type)) {
                     evidence.complete = false;
                     continue;
                 }
@@ -39,6 +48,8 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
                 let start = null;
                 let previousEnd = null;
                 let previousInclusive = false;
+                /** この区間の境界に解釈できない版がある(区間を判定に使わない) */
+                let startInvalid = false;
                 if (events.length === 0)
                     evidence.complete = false;
                 for (const rawEvent of events) {
@@ -50,12 +61,16 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
                         evidence.complete = false;
                         continue;
                     }
+                    const invalid = !(kind === "introduced" && value === "0") && !valid(value);
+                    if (invalid)
+                        evidence.complete = false;
                     if (kind === "introduced") {
-                        if (start !== null || (previousEnd !== null && (value === "0" ||
-                            compareMavenVersions(value, previousEnd) < 0 ||
-                            (previousInclusive && compareMavenVersions(value, previousEnd) === 0))))
+                        if (start !== null || (!invalid && previousEnd !== null && (value === "0" ||
+                            compare(value, previousEnd) < 0 ||
+                            (previousInclusive && compare(value, previousEnd) === 0))))
                             evidence.complete = false;
                         start = value;
+                        startInvalid = invalid;
                     }
                     else {
                         if (start === null) {
@@ -63,19 +78,20 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
                             continue;
                         }
                         const inclusive = kind === "last_affected";
-                        if (start !== "0" && (compareMavenVersions(start, value) > 0 ||
-                            (!inclusive && compareMavenVersions(start, value) === 0)))
+                        if (!invalid && !startInvalid && start !== "0" && (compare(start, value) > 0 ||
+                            (!inclusive && compare(start, value) === 0)))
                             evidence.complete = false;
-                        evidence.intervals.push({ introduced: start, end: value, inclusive });
+                        if (!invalid && !startInvalid)
+                            evidence.intervals.push({ introduced: start, end: value, inclusive });
                         // limit bounds known affected versions, but is not evidence of a fix beyond it.
                         if (kind === "limit")
                             evidence.complete = false;
-                        previousEnd = value;
+                        previousEnd = invalid ? null : value;
                         previousInclusive = inclusive;
                         start = null;
                     }
                 }
-                if (start !== null)
+                if (start !== null && !startInvalid)
                     evidence.intervals.push({ introduced: start, end: null, inclusive: false });
             }
         }
@@ -86,12 +102,14 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
         evidence.complete = false;
     return evidence;
 }
-export function candidateStatus(evidence, version) {
-    if (!evidence)
+export function candidateStatus(evidence, version, ecosystem) {
+    const scheme = versionSchemeFor(ecosystem);
+    if (!evidence || scheme === null || !scheme.isValid(version))
         return "unknown";
-    if (evidence.versions.some(v => compareMavenVersions(v, version) === 0) || evidence.intervals.some(r => (r.introduced === "0" || compareMavenVersions(version, r.introduced) >= 0) &&
-        (r.end === null || compareMavenVersions(version, r.end) < 0 ||
-            (r.inclusive && compareMavenVersions(version, r.end) === 0))))
+    const compare = scheme.compare;
+    if (evidence.versions.some(v => compare(v, version) === 0) || evidence.intervals.some(r => (r.introduced === "0" || compare(version, r.introduced) >= 0) &&
+        (r.end === null || compare(version, r.end) < 0 ||
+            (r.inclusive && compare(version, r.end) === 0))))
         return "affected";
     return evidence.complete ? "not_affected" : "unknown";
 }

package/dist/osv/suggestFix.js

@@ -6,32 +6,47 @@
  * 最大バージョンではなく「現在のバージョンに最も近い系統の修正版」を優先して提案する。
  *
  * CVEごとの探索順:
- *   Tier 1 (same_minor):     現在と同じmajor.minor系統内の修正版(最小の変更で済む)
+ *   Tier 1 (same_minor):     現在と同じ系統内の修正版(最小の変更で済む)
  *   Tier 2 (major_internal): 同一メジャー内の最小の修正版(マイナーバージョンアップ)
  *   Tier 3 (cross_major):    全体最小の修正版(メジャーアップグレード、破壊的変更の可能性)
+ * 系統の判定はエコシステム別(versionScheme.ts)。npm・Goは0.xのマイナー更新もcross_major。
  *
  * パッケージ全体の候補を全修正対象CVEの影響範囲と照合して推奨する。
  * 判定不能な候補は推奨しない。
  * 現在より新しい修正版が存在しないCVEはunfixedとして明示し、推奨計算から除外する。
+ * プレリリース(canary版・Goの疑似バージョン等)は、正式版の候補で解消できない場合だけ推奨する。
  */
-import { compareMavenVersions, mavenVersionSeries } from "../utils/mavenVersion.js";
 import { candidateStatus } from "./affectedVersions.js";
-/** バージョン比較・影響範囲の検証が対応済みのエコシステム */
-const SUPPORTED_ECOSYSTEMS = new Set(["Maven"]);
+import { versionSchemeFor } from "./versionScheme.js";
+const TIER_ORDER = ["same_minor", "major_internal", "cross_major"];
+const UPDATE_HINTS = {
+    npm: "直接依存ならpackage.jsonの指定を更新します。推移的依存の場合は、それを要求している直接依存の更新か、" +
+        "ルートのpackage.jsonのoverrides(ルートのプロジェクトでのみ有効)で版を指定します",
+    Go: "go get <module>@<version>で更新します(推移的依存もgo.modのrequireに追加されて更新されます)。" +
+        "Goではv2以上のメジャーは別のモジュールパス(/v2等)として別パッケージ扱いのため、新しいメジャー系列の修正版はここに含まれません",
+};
+/** Goの疑似バージョン(タグのないコミット): 末尾がタイムスタンプ14桁-コミットハッシュ12桁 */
+const GO_PSEUDO_VERSION = /(?:^|[.-])\d{14}-[0-9a-f]{12}(?:\+|$)/;
+function hintFields(ecosystem) {
+    const hint = UPDATE_HINTS[ecosystem];
+    return hint === undefined ? {} : { update_hint: hint };
+}
 /**
- * 未対応エコシステムは推奨を出さず、CVEをunfixedにも数えない。
- * 修正版の抽出がMaven専用のため、そのまま処理すると修正版のある脆弱性を
- * 「修正版なし」と誤表示する(v0.3.3で確認した不具合)。
+ * 未対応エコシステム・解釈できない現在の版は推奨を出さず、CVEをunfixedにも数えない。
+ * 修正版の抽出がMaven専用だった頃、そのまま処理すると修正版のある脆弱性を
+ * 「修正版なし」と誤表示した(v0.3.3で確認した不具合)。
  */
-function unsupportedEcosystemSuggestion(pkg) {
+function notEvaluatedSuggestion(pkg, verification) {
     return {
         package: pkg.name,
         current_version: pkg.version,
         ecosystem: pkg.ecosystem,
         recommended_upgrade: null,
         upgrade_tier: null,
-        upgrade_note: `${pkg.ecosystem}の修正版推奨には未対応です(修正版の有無は判定していません)。` +
-            "各脆弱性の修正版はexplain_vulnerabilityで確認してください",
+        upgrade_note: (verification === "unsupported_ecosystem"
+            ? `${pkg.ecosystem}の修正版推奨には未対応です(修正版の有無は判定していません)。`
+            : `現在の版(${pkg.version})をバージョンとして解釈できないため、修正版の推奨を判定していません(git・ローカルパス等の依存の可能性があります)。`) +
+            "各脆弱性の修正版はfixed_versions(scan_project)またはexplain_vulnerabilityで確認してください",
         per_cve_detail: pkg.vulnerabilities.map((vuln) => ({
             id: vuln.id,
             cve: vuln.cve,
@@ -39,124 +54,99 @@ function unsupportedEcosystemSuggestion(pkg) {
             fixed_in: null,
             tier: "unsupported",
         })),
-        verification: "unsupported_ecosystem",
+        verification,
     };
 }
-function classifyTier(currentSeries, candidate) {
-    const candidateSeries = mavenVersionSeries(candidate);
-    if (currentSeries === null || candidateSeries === null)
-        return "cross_major";
-    if (currentSeries.major !== candidateSeries.major)
-        return "cross_major";
-    if (currentSeries.minor !== candidateSeries.minor)
-        return "major_internal";
-    return "same_minor";
-}
 /**
- * 1つのCVEに対する修正版をTierフォールバックで選ぶ。
- * 現在バージョンより新しい修正版が存在しなければnull(unfixed)。
+ * 現在より新しい候補を推奨の優先順に並べる: 正式版 → Tier順 → 版の昇順。
+ * (同じTierのプレリリースより、上のTierの正式版を優先する)
+ * 優先順位が等しい版(Goの`23.0.3`と`23.0.3+incompatible`)は、ビルドメタデータの有無が現在の版と同じものを先にする。
+ * `/vN`の無いモジュールパスでv2以上を使うには`+incompatible`付きの指定が必要なため。
  */
-function pickFixForCve(currentVersion, currentSeries, fixedVersions) {
-    // 現在以下の修正版は別ブランチ向けバックポート(現在も影響を受けたまま)なので除外
-    const candidates = fixedVersions
-        .filter((v) => compareMavenVersions(v, currentVersion) > 0)
-        .sort(compareMavenVersions);
-    if (candidates.length === 0)
-        return null;
-    if (currentSeries !== null) {
-        for (const tier of ["same_minor", "major_internal"]) {
-            const found = candidates.find((v) => classifyTier(currentSeries, v) === tier);
-            if (found !== undefined)
-                return { version: found, tier };
-        }
-    }
-    const version = candidates[0];
-    return { version, tier: classifyTier(currentSeries, version) };
+function rankCandidates(scheme, current, versions) {
+    const rank = (v) => (scheme.isPrerelease(v) ? TIER_ORDER.length : 0) + TIER_ORDER.indexOf(scheme.classify(current, v));
+    const buildMismatch = (v) => (v.includes("+") === current.includes("+") ? 0 : 1);
+    return [...new Set(versions)]
+        .filter((v) => scheme.isValid(v) && scheme.compare(v, current) > 0)
+        .sort((a, b) => rank(a) - rank(b) || scheme.compare(a, b) || buildMismatch(a) - buildMismatch(b));
 }
-function buildNote(currentSeries, recommended, tier, fixableCount, unfixedCount) {
+function buildNote(scheme, pkg, recommended, tier, fixableCount, unfixedCount) {
+    let note;
     if (recommended === null) {
-        return `全${unfixedCount}件のCVEに現在より新しい修正版候補がない(unfixed)。修正版情報の欠落を含む可能性があります`;
+        note = `全${unfixedCount}件のCVEに現在より新しい修正版候補がない(unfixed)。修正版情報の欠落を含む可能性があります`;
     }
-    const label = currentSeries !== null ? `${currentSeries.major}.${currentSeries.minor}` : null;
-    let note;
-    switch (tier) {
-        case "same_minor":
-            note = `現在の${label}系統内の候補${recommended}を推奨`;
-            break;
-        case "major_internal":
-            note = `同一メジャー(${currentSeries.major}.x)内の候補${recommended}を推奨`;
-            break;
-        default:
-            note =
-                label !== null
-                    ? `候補${recommended}へのメジャーアップグレードを推奨(破壊的変更の可能性あり)`
-                    : `現在バージョンの系統を判定できないため、検証済み候補${recommended}を提示`;
+    else {
+        const label = scheme.seriesLabel(pkg.version);
+        switch (tier) {
+            case "same_minor":
+                note = `現在の${label}系統内の候補${recommended}を推奨`;
+                break;
+            case "major_internal":
+                note = `同一メジャー(${label.split(".")[0]}.x)内の候補${recommended}を推奨`;
+                break;
+            default:
+                if (label === null)
+                    note = `現在バージョンの系統を判定できないため、検証済み候補${recommended}を提示`;
+                else if (label.startsWith("0.") && scheme.seriesLabel(recommended)?.startsWith("0.")) {
+                    note = `候補${recommended}への更新を推奨(0.x系のため、マイナー更新でも破壊的変更の可能性あり)`;
+                }
+                else
+                    note = `候補${recommended}へのメジャーアップグレードを推奨(破壊的変更の可能性あり)`;
+        }
+        note += `。取得済みの影響範囲に基づき修正対象${fixableCount}件のCVEの範囲外と確認しました。全公開版の最小性や未検出の脆弱性がないことは保証しません`;
+        if (scheme.isPrerelease(recommended)) {
+            note += "。正式版の候補では全件を解消できないため、プレリリース版を推奨しています。正式版の公開を確認してください";
+        }
+        if (unfixedCount > 0)
+            note += `。残り${unfixedCount}件は現在より新しい修正版候補がなく、修正対象から除外しています。recommended_statusを確認してください`;
+    }
+    if (pkg.ecosystem === "Go" && GO_PSEUDO_VERSION.test(pkg.version)) {
+        note += "。現在の版は疑似バージョン(タグのないコミット)です";
     }
-    note += `。取得済みの影響範囲に基づき修正対象${fixableCount}件のCVEの範囲外と確認しました。全公開版の最小性や未検出の脆弱性がないことは保証しません`;
-    if (unfixedCount > 0)
-        note += `。残り${unfixedCount}件は現在より新しい修正版候補がなく、修正対象から除外しています。recommended_statusを確認してください`;
     return note;
 }
 /** 1パッケージ分のアップグレード提案を組み立てる。 */
 export function suggestUpgradeForPackage(pkg) {
-    if (!SUPPORTED_ECOSYSTEMS.has(pkg.ecosystem))
-        return unsupportedEcosystemSuggestion(pkg);
-    const currentSeries = mavenVersionSeries(pkg.version);
-    const details = [];
-    let recommended = null;
-    let unfixedCount = 0;
-    for (const vuln of pkg.vulnerabilities) {
-        const pick = pickFixForCve(pkg.version, currentSeries, vuln.fixed_versions);
-        if (pick === null) {
-            unfixedCount++;
-            details.push({
-                id: vuln.id,
-                cve: vuln.cve,
-                severity: vuln.severity,
-                fixed_in: null,
-                tier: "unfixed",
-            });
-            continue;
-        }
-        details.push({
+    const scheme = versionSchemeFor(pkg.ecosystem);
+    if (scheme === null)
+        return notEvaluatedSuggestion(pkg, "unsupported_ecosystem");
+    if (!scheme.isValid(pkg.version))
+        return { ...notEvaluatedSuggestion(pkg, "unparseable_version"), ...hintFields(pkg.ecosystem) };
+    const details = pkg.vulnerabilities.map((vuln) => {
+        const fix = rankCandidates(scheme, pkg.version, vuln.fixed_versions)[0];
+        return {
             id: vuln.id,
             cve: vuln.cve,
             severity: vuln.severity,
-            fixed_in: pick.version,
-            tier: pick.tier,
-        });
-    }
+            fixed_in: fix ?? null,
+            tier: fix !== undefined ? scheme.classify(pkg.version, fix)
+                : vuln.fixed_versions.some((v) => !scheme.isValid(v)) ? "unparseable_fix" : "unfixed",
+        };
+    });
+    const unfixedCount = details.filter((d) => d.tier === "unfixed").length;
+    const unparseableCount = details.filter((d) => d.tier === "unparseable_fix").length;
     const fixableCount = details.length - unfixedCount;
-    const targets = pkg.vulnerabilities.filter((_, i) => details[i].fixed_in !== null);
-    const candidates = [...new Set(targets.flatMap(v => v.fixed_versions))]
-        .filter(v => compareMavenVersions(v, pkg.version) > 0)
-        .sort(compareMavenVersions);
-    const tierOrder = ["same_minor", "major_internal", "cross_major"];
-    recommended = null;
-    for (const tier of tierOrder) {
-        const candidate = candidates.find(v => classifyTier(currentSeries, v) === tier &&
-            targets.every(target => candidateStatus(target.affected_versions, v) === "not_affected"));
-        if (candidate !== undefined) {
-            recommended = candidate;
-            break;
-        }
-    }
+    // 解釈できない修正版のCVEも修正対象に残す。その影響範囲は情報不足のため、どの候補も検証できず推奨を保留する
+    const targets = pkg.vulnerabilities.filter((_, i) => details[i].tier !== "unfixed");
+    const candidates = rankCandidates(scheme, pkg.version, targets.flatMap((v) => v.fixed_versions));
+    const recommended = candidates.find((v) => targets.every((target) => candidateStatus(target.affected_versions, v, pkg.ecosystem) === "not_affected")) ?? null;
     for (let i = 0; i < details.length; i++) {
         details[i].recommended_status = recommended === null ? "not_evaluated" :
-            candidateStatus(pkg.vulnerabilities[i].affected_versions, recommended);
+            candidateStatus(pkg.vulnerabilities[i].affected_versions, recommended, pkg.ecosystem);
     }
-    // 推奨バージョン自体のTierは「現在バージョンとの系統関係」で再分類する
-    // (per-CVEのTierの寄せ集めではなく、実際に行うアップグレードの距離を表す)
-    const upgradeTier = recommended !== null ? classifyTier(currentSeries, recommended) : null;
+    const upgradeTier = recommended !== null ? scheme.classify(pkg.version, recommended) : null;
     return {
         package: pkg.name,
         current_version: pkg.version,
         ecosystem: pkg.ecosystem,
         recommended_upgrade: recommended,
         upgrade_tier: upgradeTier,
+        ...(recommended !== null && scheme.isPrerelease(recommended) ? { recommended_is_prerelease: true } : {}),
         upgrade_note: recommended === null && fixableCount > 0
-            ? "既知の修正版候補から、全修正対象CVEの影響範囲外と確認できる版が見つかりません。情報不足・未対応の範囲形式を含む場合も推奨を保留します。"
-            : buildNote(currentSeries, recommended, upgradeTier, fixableCount, unfixedCount),
+            ? "既知の修正版候補から、全修正対象CVEの影響範囲外と確認できる版が見つかりません。情報不足・未対応の範囲形式を含む場合も推奨を保留します。" +
+                (unparseableCount > 0 ? `${unparseableCount}件のCVEは修正版の記載をバージョンとして解釈できないため(tier: unparseable_fix)、推奨を保留しています。` : "")
+            : buildNote(scheme, pkg, recommended, upgradeTier, fixableCount, unfixedCount),
+        ...hintFields(pkg.ecosystem),
         per_cve_detail: details,
         verification: recommended === null ? "no_verified_candidate" : "verified",
     };

package/dist/osv/versionScheme.js

@@ -7,9 +7,66 @@
  *
  * GIT型の範囲(コミットハッシュ)はリリース版と無関係のため、どのエコシステムでも版として扱わない。
  */
-import { compareMavenVersions } from "../utils/mavenVersion.js";
+import { compareMavenVersions, mavenVersionSeries } from "../utils/mavenVersion.js";
 import { compareParsedSemver, parseSemver } from "../utils/semverVersion.js";
 const SEMVER_ECOSYSTEMS = new Set(["npm", "Go"]);
+const MAVEN_SCHEME = {
+    isValid: () => true,
+    compare: compareMavenVersions,
+    isPrerelease: () => false,
+    classify(current, candidate) {
+        const a = mavenVersionSeries(current);
+        const b = mavenVersionSeries(candidate);
+        if (a === null || b === null || a.major !== b.major)
+            return "cross_major";
+        return a.minor === b.minor ? "same_minor" : "major_internal";
+    },
+    seriesLabel(version) {
+        const series = mavenVersionSeries(version);
+        return series === null ? null : `${series.major}.${series.minor}`;
+    },
+};
+/**
+ * npm・Go: npmの^(キャレット)が互換とみなす範囲を同じ系統とする。
+ * 1.0.0以上はmajor.minor、0.xは0.minor内だけが互換(マイナー更新は破壊的変更の可能性)、0.0.xはどの変更も非互換。
+ */
+const SEMVER_SCHEME = {
+    isValid: (version) => parseSemver(version) !== null,
+    compare(a, b) {
+        const x = parseSemver(a);
+        const y = parseSemver(b);
+        return x === null || y === null ? 0 : compareParsedSemver(x, y);
+    },
+    isPrerelease: (version) => (parseSemver(version)?.prerelease.length ?? 0) > 0,
+    classify(current, candidate) {
+        const a = parseSemver(current);
+        const b = parseSemver(candidate);
+        if (a === null || b === null || a.major !== b.major)
+            return "cross_major";
+        if (a.major === 0) {
+            if (a.minor !== b.minor)
+                return "cross_major";
+            if (a.minor === 0 && a.patch !== b.patch)
+                return "cross_major";
+            return "same_minor";
+        }
+        return a.minor === b.minor ? "same_minor" : "major_internal";
+    },
+    seriesLabel(version) {
+        const v = parseSemver(version);
+        if (v === null)
+            return null;
+        return v.major === 0 && v.minor === 0 ? `0.0.${v.patch}` : `${v.major}.${v.minor}`;
+    },
+};
+/** 修正版の推奨に対応するエコシステムの操作。未対応ならnull */
+export function versionSchemeFor(ecosystem) {
+    if (ecosystem === "Maven")
+        return MAVEN_SCHEME;
+    if (SEMVER_ECOSYSTEMS.has(ecosystem))
+        return SEMVER_SCHEME;
+    return null;
+}
 /** 修正版・影響範囲として読み取るOSVの範囲の型 */
 export function versionRangeTypes(ecosystem) {
     if (ecosystem === "Maven")

package/dist/tools/scanProject.js

@@ -14,7 +14,7 @@ import { normalizePypiName } from "../utils/requirementsFile.js";
 import { ScanSnapshot, snapshotManifests } from "../utils/scanSnapshot.js";
 import { dependencyResolution, withScopeNotes } from "./scanJavaProject.js";
 import { errorResult, jsonResult } from "./toolResult.js";
-const TRANSITIVE_OMITTED_WARNING = "OSV_MCP_NO_REMOTE_RESOLUTIONの設定により、マニフェスト(pom.xml / requirements.txt)からの推移的依存の解決を省略しています。" +
+export const TRANSITIVE_OMITTED_WARNING = "OSV_MCP_NO_REMOTE_RESOLUTIONの設定により、マニフェスト(pom.xml / requirements.txt)からの推移的依存の解決を省略しています。" +
     "lockfile(package-lock.json / poetry.lock / go.mod / gradle.lockfile等)に記録された依存は対象ですが、" +
     "pom.xml・requirements.txtに直接記載された依存の先にある推移的依存の脆弱性は含まれません。" +
     "検出0件でも推移的依存の安全性は確認できていません";
@@ -26,7 +26,7 @@ const MAX_COVERAGE_ITEMS = 200;
 function capped(items) {
     return { items: items.slice(0, MAX_COVERAGE_ITEMS), omitted: Math.max(0, items.length - MAX_COVERAGE_ITEMS) };
 }
-function buildCoverage(project) {
+export function buildCoverage(project) {
     const rel = (file) => sanitizeExternalText(path.relative(project.projectDir, file));
     const lockfileMissing = capped(project.lockfileMissing);
     const unpinned = capped(project.requirementIssues);
@@ -84,16 +84,13 @@ function markLowerBounds(project, packages) {
         ? { ...pkg, version_is_lower_bound: true }
         : pkg);
 }
-/**
- * requirements.txtは検証済みの正規化行だけを専用の一時ディレクトリに書いてスキャンする
- * (元ファイルの取り込み指定をosv-scannerにたどらせない)。成功・失敗とも削除する。
- */
 /**
  * 元のファイルはosv-scannerに渡さず、スナップショット(scanSnapshot.ts)のコピーをスキャンする。
  * lockfile・pom.xml(親POMの連鎖を含む)は安全に読んだ内容のコピー、requirements.txtは
  * 検証済みの正規化行だけを書いたコピー。コピーできず外したファイルはskippedFilesに記録する。
+ * スナップショットは成功・失敗とも削除する。suggest_fixも同じスキャンを使う。
  */
-async function scanFromSnapshot(project, options) {
+export async function scanFromSnapshot(project, options) {
     const snapshot = await ScanSnapshot.create();
     try {
         const { targets, skipped, incomplete } = await snapshotManifests(snapshot, project.targets, {

package/dist/tools/suggestFix.js

@@ -1,27 +1,28 @@
 /**
  * `suggest_fix`ツールのハンドラ。
- * scan_java_projectと同じスキャンを実行し、脆弱なパッケージごとの
- * 推奨アップグレードバージョン(3段階Tier)を返す。
+ * scan_projectと同じ検出・スキャンを実行し、脆弱なパッケージごとの
+ * 推奨アップグレードバージョン(3段階Tier)を返す。推奨はMaven・npm・Goに対応し、
+ * それ以外(PyPI等)はunsupported_ecosystemとして返す。
  */
 import { isRemoteResolutionDisabled } from "../osv/runner.js";
 import { suggestUpgrades } from "../osv/suggestFix.js";
-import { detectJavaProject } from "../utils/projectDetector.js";
-import { dependencyResolution, scanJavaManifests, skippedManifestsFields, } from "./scanJavaProject.js";
+import { sanitizeExternalText } from "../utils/externalText.js";
+import { detectProject } from "../utils/manifestDetector.js";
+import { dependencyResolution, } from "./scanJavaProject.js";
+import { buildCoverage, scanFromSnapshot, TRANSITIVE_OMITTED_WARNING } from "./scanProject.js";
 import { errorResult, jsonResult } from "./toolResult.js";
 export async function handleSuggestFix(args, options = {}) {
     try {
-        const project = await detectJavaProject(args.project_path, {
-            allowedRoot: options.allowedRoot,
-        });
+        const project = await detectProject(args.project_path, { allowedRoot: options.allowedRoot });
         const noRemoteResolution = isRemoteResolutionDisabled(options);
-        const { manifests, skipped, incomplete, report } = await scanJavaManifests(project, { ...options, noRemoteResolution });
+        const report = await scanFromSnapshot(project, { ...options, noRemoteResolution });
         const suggestions = suggestUpgrades(report.packages);
         const unfixedVulnerabilities = suggestions.reduce((sum, s) => sum + s.per_cve_detail.filter((d) => d.tier === "unfixed").length, 0);
         return jsonResult({
             project_dir: project.projectDir,
-            manifests,
-            ...skippedManifestsFields(skipped, incomplete),
-            dependency_resolution: dependencyResolution(noRemoteResolution),
+            manifests: project.manifests.map((m) => sanitizeExternalText(m.path)),
+            dependency_resolution: dependencyResolution(noRemoteResolution, TRANSITIVE_OMITTED_WARNING),
+            coverage: buildCoverage(project),
             vulnerable_package_count: suggestions.length,
             unfixed_vulnerability_count: unfixedVulnerabilities,
             suggestions,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "osv-scanner-mcp",
-  "version": "0.4.2",
+  "version": "0.5.0",
   "description": "MCP server that wraps Google's OSV-Scanner to scan Java projects for known vulnerabilities",
   "type": "module",
   "license": "Apache-2.0",