osv-scanner-mcp 0.5.0 → 0.6.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・JavaScript・Go)。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に対応しています(修正版の推奨も4言語に対応)。MCPクライアントは Claude Code / Claude Desktop / Codex CLI / Antigravity / VS Code(GitHub Copilot)での利用手順を用意しています。
 
 ## 特徴
 
@@ -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・JavaScript・Goに対応しています(Pythonは未対応)
+- 修正版の推奨(`suggest_fix`)はJava・JavaScript・Python・Goに対応しています
 
 ### `scan_java_project`
 
@@ -277,7 +277,7 @@ OSV-Scannerは `pom.xml` の `<parent>` が参照する親POM(`<relativePath>`
 ```
 
 - `packages` は最も深刻な脆弱性を持つ順、各 `vulnerabilities` は深刻度順(unknownは末尾)
-- `fixed_versions` はOSVに記載された修正版です。MavenはMaven優先順位、npm・GoはSemantic Versioningの優先順位で昇順(SemVerとして解釈できない表記は末尾)、PyPI等はOSVの記載順のまま(並び順は保証しません)。複数のリリース系統(例: 2.12系バックポートと2.15系)が混在することがあります。プレリリース版(`5.0.0-beta.3`)やGoの疑似バージョン(`0.0.0-20180925071336-cf3bd585ca2a`)が含まれることもあります。空配列は「OSVに修正版の記載がない」ことを意味します。v0.4.1以前はMaven以外のパッケージで常に空配列を返していました
+- `fixed_versions` はOSVに記載された修正版です。MavenはMaven優先順位、npm・GoはSemantic Versioningの優先順位で昇順(SemVerとして解釈できない表記は末尾)、PyPIはPEP 440の優先順位で昇順(v0.5.0以前は記載順)、その他のエコシステムはOSVの記載順のまま(並び順は保証しません)。複数のリリース系統(例: 2.12系バックポートと2.15系)が混在することがあります。プレリリース版(`5.0.0-beta.3`)やGoの疑似バージョン(`0.0.0-20180925071336-cf3bd585ca2a`)が含まれることもあります。空配列は「OSVに修正版の記載がない」ことを意味します。v0.4.1以前はMaven以外のパッケージで常に空配列を返していました
 - `severity_score` が取得できない脆弱性は `null` / `"unknown"` として扱います
 
 ### `scan_java_artifact`
@@ -333,7 +333,7 @@ OSV-Scanner 2.4.0の `java/archive` プラグインを使用し、ネストJAR
 
 ### `suggest_fix`
 
-`scan_project` と同じ検出・スキャンを実行し、脆弱なパッケージごとに**推奨アップグレードバージョン**を提案します。推奨はJava(Maven / Gradle)・JavaScript(npm)・Goに対応し、Python(PyPI)は未対応です。単純な最大バージョンではなく、現在のバージョンに最も近いリリース系統の修正版を3段階フォールバックで選定します:
+`scan_project` と同じ検出・スキャンを実行し、脆弱なパッケージごとに**推奨アップグレードバージョン**を提案します。推奨はJava(Maven / Gradle)・JavaScript(npm)・Python(PyPI)・Goに対応しています。単純な最大バージョンではなく、現在のバージョンに最も近いリリース系統の修正版を3段階フォールバックで選定します:
 
 | Tier | 意味 |
 |---|---|
@@ -341,7 +341,7 @@ OSV-Scanner 2.4.0の `java/archive` プラグインを使用し、ネストJAR
 | `major_internal` | 同一メジャー内の修正版(マイナーバージョンアップが必要) |
 | `cross_major` | メジャーアップグレードが必要(破壊的変更の可能性あり) |
 
-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の更新は互換を保証しないため)。
+npm・Go・PyPIの「同じ系統」は、npmの `^`(キャレット)が互換とみなす範囲です(PyPIには共通の互換規則がありませんが、0.x系でマイナー更新が破壊的変更になるパッケージがあるため同じ規則で扱います。epochが変わる更新も `cross_major`)。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`)
 
@@ -373,12 +373,13 @@ npm・Goの「同じ系統」は、npmの `^`(キャレット)が互換とみな
 ```
 
 - `recommended_upgrade` は既知の修正版を候補に、修正対象の全CVEの影響範囲外と確認できたものを3段階Tier順・バージョン昇順で選びます。CVEごとの修正版の最大値を単純に採用せず、別系統で再び影響を受ける候補も除外します。全公開版の中での最小性や未検出の脆弱性がないことは保証しません。
-- 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の正式版を優先します。
+- OSVの影響範囲(`introduced` / `fixed` / `last_affected` / 上限なし)を照合します。MavenはMavenの優先順位で `ECOSYSTEM` 範囲を、npm・GoはSemantic Versioningの優先順位で `SEMVER` / `ECOSYSTEM` 範囲を、PyPIはPEP 440の優先順位(`1.8c1` や `2.8.0-rc0` のような正規形でない表記も正規化)で `ECOSYSTEM` 範囲を使います。同じエントリに `ECOSYSTEM` 範囲があれば、コミット単位の `GIT` 範囲は無視します。`versions` に明示された影響も確認します(Gitのタグ名など版として解釈できない値は、解釈できる候補と一致しえないため無視します)。範囲欠落・不正・未対応形式(`GIT` 等)・`limit` による不完全な情報や、範囲の境界に解釈できない版(一部のGHSAに残る `19.03.9`、PyTorchの `2.6.0-cu124` のような表記)を含む場合は安全と推定せず、候補を検証できなければ `recommended_upgrade: null`、`verification: "no_verified_candidate"` を返します。
+- プレリリース版(`5.0.0-beta.3`、`15.6.0-canary.61`、Goの疑似バージョン、PyPIの `rc`・`dev` 版。post版は正式版扱い)は、正式版の候補では全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` です。修正版の記載はあるがバージョンとして解釈できない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` で確認できます)。
+- npm・Go・PyPIの提案には更新方法の `update_hint` を付けます。PyPIでは、requirements.txtやpyproject.toml・Pipfileの指定を更新してlockfileを再生成し、推移的依存はpipの制約ファイル(`-c`)やuv・Poetryの上書き設定で版を指定します。推移的依存の場合、npmでは要求している直接依存の更新か、ルートの `package.json` の `overrides`(ルートのプロジェクトでのみ有効)で版を指定します。Goでは `go get <module>@<version>` で更新できます。Goのv2以上のメジャーは別のモジュールパス(`/v2` 等)としてOSV上も別パッケージになるため、新しいメジャー系列の修正版は候補に含まれません。現在の版が疑似バージョン(タグのないコミット)の場合は `upgrade_note` に示します。
+- requirements.txtの `>=X` / `~=X` の行は、OSV-Scannerが下限Xを使用中の版とみなしてスキャンしています。この依存の提案には `version_is_lower_bound: true` を付け、推奨は「下限を推奨版以上に引き上げる」意味であること(実際にインストールされる版とは異なりうること)を `upgrade_note` に示します。
+- 推奨に未対応のエコシステム(SBOM由来のRubyGems等)は `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`
@@ -465,7 +466,8 @@ npm run build             # dist/ へビルド
 - [x] `scan_java_artifact` ツール: JAR/WAR実体スキャン(lockfileが無い・shaded/fat JARのみのプロジェクト向け)
 - [x] `scan_project` ツール: Java / JavaScript / Python / Go のlockfileをまとめてスキャン
 - [x] `suggest_fix` のJavaScript / Go対応(semver)
-- [ ] `suggest_fix` のPython対応(PEP 440)、直接/推移的依存の区別
+- [x] `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.5.0",
+    version: "0.6.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・JavaScript・Goに対応(Pythonは未対応)。",
+        "coverage.complete=falseの場合は、検出0件でも安全とは判断しないこと。修正版の推奨(suggest_fix)はJava・JavaScript・Python・Goに対応。",
     inputSchema: {
         project_path: z
             .string()
@@ -69,10 +69,10 @@ server.registerTool("scan_java_project", {
 server.registerTool("suggest_fix", {
     title: "脆弱性を解消する推奨アップグレードの提案",
     description: "scan_projectと同じ検出でプロジェクトをスキャンし、脆弱な依存パッケージごとに推奨アップグレードバージョンを提案する。" +
-        "推奨はJava(Maven / Gradle)・JavaScript(npm)・Goに対応し、Python(PyPI)はunsupported_ecosystemとして返す。" +
+        "推奨はJava(Maven / Gradle)・JavaScript(npm)・Python(PyPI)・Goに対応。" +
         "現在のバージョンに最も近いリリース系統の修正版を優先する3段階フォールバック" +
         "(same_minor: 同一系統内 → major_internal: 同一メジャー内 → cross_major: メジャーアップグレード)で選定し、" +
-        "推奨バージョン・アップグレード距離(upgrade_tier)・CVEごとの修正版を返す。npm・Goでは0.x系のマイナー更新もcross_major(破壊的変更の可能性)。" +
+        "推奨バージョン・アップグレード距離(upgrade_tier)・CVEごとの修正版を返す。npm・Go・PyPIでは0.x系のマイナー更新もcross_major(破壊的変更の可能性)。requirements.txtの下限(>=)でスキャンした依存はversion_is_lower_boundを付け、推奨は下限の引き上げを意味する。" +
         "候補を全修正対象CVEの影響範囲と照合し、情報不足の場合は推奨を保留する。プレリリース版は正式版で解消できない場合だけ推奨し、recommended_is_prereleaseを付ける。" +
         "現在より新しい修正版候補のないCVEはunfixedとして別表示し、推奨先での判定も返す。" +
         "応答のcoverageを必ず確認すること(complete=falseなら提案に含まれない依存がある)。" +

package/dist/osv/affectedVersions.js

@@ -1,9 +1,12 @@
 import { asArray, asRecord, asString } from "../utils/unknownJson.js";
-import { versionRangeTypes, versionSchemeFor } from "./versionScheme.js";
+import { samePackageName, versionRangeTypes, versionSchemeFor } from "./versionScheme.js";
 /**
  * Preserve uncertainty: unsupported or malformed ranges cannot prove a candidate safe.
  * 比較・範囲の型はエコシステム別(versionScheme.ts)。比較器のないエコシステムは常に情報不足。
  * 解釈できない版(SemVerでない値等)を含む範囲は判定に使わず、情報不足とする。
+ * - `versions[]`の解釈できない値(Gitのタグ名等)は無視する。`versions[]`は等価判定にだけ使い、
+ *   解釈できない文字列は解釈できる候補と等しくなりえないため、無視しても候補の判定は変わらない
+ * - 同じaffectedエントリにECOSYSTEM等の版の範囲があれば、GIT範囲(コミット単位)は無視する。GIT範囲だけなら情報不足
  */
 export function extractAffectedVersions(details, ids, name, ecosystem) {
     const scheme = versionSchemeFor(ecosystem);
@@ -18,7 +21,8 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
         for (const raw of asArray(detail.affected)) {
             const affected = asRecord(raw);
             const pkg = asRecord(affected?.package);
-            if (asString(pkg?.name) !== name || asString(pkg?.ecosystem) !== ecosystem) {
+            const affectedName = asString(pkg?.name);
+            if (affectedName === null || !samePackageName(affectedName, name, ecosystem) || asString(pkg?.ecosystem) !== ecosystem) {
                 if (!asString(pkg?.name) || !asString(pkg?.ecosystem))
                     evidence.complete = false;
                 continue;
@@ -28,30 +32,32 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
                 evidence.complete = false;
             for (const version of asArray(affected?.versions)) {
                 const value = asString(version);
-                if (!value || !valid(value))
+                if (!value)
                     evidence.complete = false;
-                else
+                else if (valid(value))
                     evidence.versions.push(value);
             }
             const ranges = asArray(affected?.ranges);
             // A versions-only list does not establish that unlisted releases are unaffected.
             if (ranges.length === 0)
                 evidence.complete = false;
+            const hasVersionRange = ranges.some((r) => rangeTypes.has(asString(asRecord(r)?.type) ?? ""));
             for (const rawRange of ranges) {
                 const range = asRecord(rawRange);
                 const type = asString(range?.type);
+                if (type === "GIT" && hasVersionRange)
+                    continue;
                 if (range === null || type === null || !rangeTypes.has(type)) {
                     evidence.complete = false;
                     continue;
                 }
                 const events = asArray(range.events);
-                let start = null;
-                let previousEnd = null;
-                let previousInclusive = false;
-                /** この区間の境界に解釈できない版がある(区間を判定に使わない) */
-                let startInvalid = false;
                 if (events.length === 0)
                     evidence.complete = false;
+                // OSVの仕様では範囲内のeventsの並び順は保証されず、評価時に版の順に並べる(実データ: PYSECの
+                // `introduced 2.0.0 → fixed 2.0.6, introduced 0 → fixed 1.26.17`)。仕様どおり並べてから区間にする
+                const parsed = [];
+                let usable = true;
                 for (const rawEvent of events) {
                     const event = asRecord(rawEvent);
                     const keys = event ? Object.keys(event) : [];
@@ -61,37 +67,55 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
                         evidence.complete = false;
                         continue;
                     }
-                    const invalid = !(kind === "introduced" && value === "0") && !valid(value);
-                    if (invalid)
+                    // 解釈できない境界を含む範囲は判定に使わない
+                    if (!(kind === "introduced" && value === "0") && !valid(value)) {
+                        usable = false;
+                        continue;
+                    }
+                    // limit bounds known affected versions, but is not evidence of a fix beyond it.
+                    if (kind === "limit")
                         evidence.complete = false;
+                    parsed.push({ kind: kind, value });
+                }
+                if (!usable) {
+                    evidence.complete = false;
+                    continue;
+                }
+                // 同じ版では終点(fixed等)を始点(introduced)より前に置く(その版を影響ありとみなす安全側)
+                const rank = (kind) => (kind === "introduced" ? 1 : 0);
+                const isZero = (e) => e.kind === "introduced" && e.value === "0";
+                parsed.sort((a, b) => {
+                    // introduced: "0" はすべての版より前
+                    if (isZero(a) || isZero(b))
+                        return isZero(a) === isZero(b) ? 0 : isZero(a) ? -1 : 1;
+                    return compare(a.value, b.value) || rank(a.kind) - rank(b.kind);
+                });
+                // 並べた結果が「始点 → 終点」の交互にならない(始点の重複、始点のない終点)場合は解釈が曖昧なため使わない
+                const intervals = [];
+                let start = null;
+                for (const { kind, value } of parsed) {
                     if (kind === "introduced") {
-                        if (start !== null || (!invalid && previousEnd !== null && (value === "0" ||
-                            compare(value, previousEnd) < 0 ||
-                            (previousInclusive && compare(value, previousEnd) === 0))))
-                            evidence.complete = false;
+                        if (start !== null) {
+                            usable = false;
+                            break;
+                        }
                         start = value;
-                        startInvalid = invalid;
                     }
                     else {
                         if (start === null) {
-                            evidence.complete = false;
-                            continue;
+                            usable = false;
+                            break;
                         }
-                        const inclusive = kind === "last_affected";
-                        if (!invalid && !startInvalid && start !== "0" && (compare(start, value) > 0 ||
-                            (!inclusive && compare(start, value) === 0)))
-                            evidence.complete = false;
-                        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 = invalid ? null : value;
-                        previousInclusive = inclusive;
+                        intervals.push({ introduced: start, end: value, inclusive: kind === "last_affected" });
                         start = null;
                     }
                 }
-                if (start !== null && !startInvalid)
+                if (!usable || parsed.every((e) => e.kind !== "introduced")) {
+                    evidence.complete = false;
+                    continue;
+                }
+                evidence.intervals.push(...intervals);
+                if (start !== null)
                     evidence.intervals.push({ introduced: start, end: null, inclusive: false });
             }
         }

package/dist/osv/scanReport.js

@@ -14,7 +14,7 @@
  */
 import { asArray, asRecord, asString, asStrings } from "../utils/unknownJson.js";
 import { extractAffectedVersions } from "./affectedVersions.js";
-import { sortVersions, versionRangeTypes } from "./versionScheme.js";
+import { samePackageName, sortVersions, versionRangeTypes } from "./versionScheme.js";
 /** 外部由来のsummaryをLLMに渡す際の長さ上限(プロンプト肥大・DoS対策) */
 const MAX_SUMMARY_LENGTH = 500;
 const CVSS_CRITICAL = 9.0;
@@ -77,7 +77,7 @@ function extractFixedVersions(vulnDetails, packageName, ecosystem) {
             if (!affected)
                 continue;
             const affectedName = asString(asRecord(affected.package)?.name);
-            if (affectedName !== packageName || asString(asRecord(affected.package)?.ecosystem) !== ecosystem)
+            if (affectedName === null || !samePackageName(affectedName, packageName, ecosystem) || asString(asRecord(affected.package)?.ecosystem) !== ecosystem)
                 continue;
             for (const rangeRaw of asArray(affected.ranges)) {
                 const type = asString(asRecord(rangeRaw)?.type);

package/dist/osv/suggestFix.js

@@ -24,6 +24,8 @@ const UPDATE_HINTS = {
         "ルートのpackage.jsonのoverrides(ルートのプロジェクトでのみ有効)で版を指定します",
     Go: "go get <module>@<version>で更新します(推移的依存もgo.modのrequireに追加されて更新されます)。" +
         "Goではv2以上のメジャーは別のモジュールパス(/v2等)として別パッケージ扱いのため、新しいメジャー系列の修正版はここに含まれません",
+    PyPI: "requirements.txtの版の指定、またはpyproject.toml・Pipfileの指定を更新し、lockfile(poetry.lock・uv.lock等)を再生成します。" +
+        "推移的依存の場合は、pipの制約ファイル(-c)や、uv・Poetry等の上書き設定で版を指定します",
 };
 /** Goの疑似バージョン(タグのないコミット): 末尾がタイムスタンプ14桁-コミットハッシュ12桁 */
 const GO_PSEUDO_VERSION = /(?:^|[.-])\d{14}-[0-9a-f]{12}(?:\+|$)/;
@@ -100,6 +102,10 @@ function buildNote(scheme, pkg, recommended, tier, fixableCount, unfixedCount) {
         if (unfixedCount > 0)
             note += `。残り${unfixedCount}件は現在より新しい修正版候補がなく、修正対象から除外しています。recommended_statusを確認してください`;
     }
+    if (pkg.version_is_lower_bound) {
+        note += `。現在の版(${pkg.version})はrequirements.txtの下限(>=・~=)で、実際にインストールされる版とは異なる可能性があります。` +
+            "推奨は下限をその版以上に引き上げる意味です";
+    }
     if (pkg.ecosystem === "Go" && GO_PSEUDO_VERSION.test(pkg.version)) {
         note += "。現在の版は疑似バージョン(タグのないコミット)です";
     }
@@ -147,6 +153,7 @@ export function suggestUpgradeForPackage(pkg) {
                 (unparseableCount > 0 ? `${unparseableCount}件のCVEは修正版の記載をバージョンとして解釈できないため(tier: unparseable_fix)、推奨を保留しています。` : "")
             : buildNote(scheme, pkg, recommended, upgradeTier, fixableCount, unfixedCount),
         ...hintFields(pkg.ecosystem),
+        ...(pkg.version_is_lower_bound ? { version_is_lower_bound: true } : {}),
         per_cve_detail: details,
         verification: recommended === null ? "no_verified_candidate" : "verified",
     };

package/dist/osv/versionScheme.js

@@ -3,11 +3,13 @@
  *
  * - Maven: Mavenの優先順位(mavenVersion.ts)。範囲はECOSYSTEM型
  * - npm・Go: SemVer 2.0.0の優先順位(semverVersion.ts)。範囲はSEMVER型とECOSYSTEM型
- * - その他(PyPI等): 比較器なし。範囲はECOSYSTEM型
+ * - PyPI: PEP 440の優先順位(pep440Version.ts)。範囲はECOSYSTEM型。名前はPEP 503で正規化して照合する
+ * - その他: 比較器なし。範囲はECOSYSTEM型
  *
  * GIT型の範囲(コミットハッシュ)はリリース版と無関係のため、どのエコシステムでも版として扱わない。
  */
 import { compareMavenVersions, mavenVersionSeries } from "../utils/mavenVersion.js";
+import { compareParsedPep440, parsePep440 } from "../utils/pep440Version.js";
 import { compareParsedSemver, parseSemver } from "../utils/semverVersion.js";
 const SEMVER_ECOSYSTEMS = new Set(["npm", "Go"]);
 const MAVEN_SCHEME = {
@@ -41,16 +43,9 @@ const SEMVER_SCHEME = {
     classify(current, candidate) {
         const a = parseSemver(current);
         const b = parseSemver(candidate);
-        if (a === null || b === null || a.major !== b.major)
+        if (a === null || b === null)
             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";
+        return classifyCaret(a, b);
     },
     seriesLabel(version) {
         const v = parseSemver(version);
@@ -59,14 +54,74 @@ const SEMVER_SCHEME = {
         return v.major === 0 && v.minor === 0 ? `0.0.${v.patch}` : `${v.major}.${v.minor}`;
     },
 };
+/** major・minor・patchから、npmのキャレットに合わせた距離を判定する(npm・Go・PyPI共通) */
+function classifyCaret(a, b) {
+    if (a.major !== b.major)
+        return "cross_major";
+    if (Number(a.major) === 0) {
+        if (a.minor !== b.minor)
+            return "cross_major";
+        if (Number(a.minor) === 0 && a.patch !== b.patch)
+            return "cross_major";
+        return "same_minor";
+    }
+    return a.minor === b.minor ? "same_minor" : "major_internal";
+}
+function pep440Parts(v) {
+    return { major: v.release[0] ?? 0n, minor: v.release[1] ?? 0n, patch: v.release[2] ?? 0n };
+}
+/**
+ * PyPI: PEP 440。共通の互換規則はないが、0.x系でマイナー更新が破壊的変更になるパッケージが実在する(FastAPI等)ため、
+ * npm・Goと同じ規則で破壊的変更の可能性を少なく見積もらない側に倒す。epochが変わる更新もcross_major。
+ * プレリリースはプレリリース・dev版(post版は正式版扱い)。
+ */
+const PEP440_SCHEME = {
+    isValid: (version) => parsePep440(version) !== null,
+    compare(a, b) {
+        const x = parsePep440(a);
+        const y = parsePep440(b);
+        return x === null || y === null ? 0 : compareParsedPep440(x, y);
+    },
+    isPrerelease(version) {
+        const v = parsePep440(version);
+        return v !== null && (v.pre !== null || v.dev !== null);
+    },
+    classify(current, candidate) {
+        const a = parsePep440(current);
+        const b = parsePep440(candidate);
+        if (a === null || b === null || a.epoch !== b.epoch)
+            return "cross_major";
+        return classifyCaret(pep440Parts(a), pep440Parts(b));
+    },
+    seriesLabel(version) {
+        const v = parsePep440(version);
+        if (v === null)
+            return null;
+        const { major, minor, patch } = pep440Parts(v);
+        const epoch = v.epoch === 0n ? "" : `${v.epoch}!`;
+        return major === 0n && minor === 0n ? `${epoch}0.0.${patch}` : `${epoch}${major}.${minor}`;
+    },
+};
 /** 修正版の推奨に対応するエコシステムの操作。未対応ならnull */
 export function versionSchemeFor(ecosystem) {
     if (ecosystem === "Maven")
         return MAVEN_SCHEME;
     if (SEMVER_ECOSYSTEMS.has(ecosystem))
         return SEMVER_SCHEME;
+    if (ecosystem === "PyPI")
+        return PEP440_SCHEME;
     return null;
 }
+/**
+ * OSVレコードのパッケージ名とスキャン結果の名前が同じパッケージか。
+ * PyPIはPEP 503の正規化(小文字化、`-` `_` `.`の連続を`-`)で比較する(実データでは完全一致したが防御的に)
+ */
+export function samePackageName(a, b, ecosystem) {
+    if (ecosystem !== "PyPI")
+        return a === b;
+    const normalize = (name) => name.toLowerCase().replace(/[-_.]+/g, "-");
+    return normalize(a) === normalize(b);
+}
 /** 修正版・影響範囲として読み取るOSVの範囲の型 */
 export function versionRangeTypes(ecosystem) {
     if (ecosystem === "Maven")
@@ -77,20 +132,18 @@ export function versionRangeTypes(ecosystem) {
 }
 /**
  * 重複を除いた版の一覧を、エコシステムの優先順位で昇順に並べる。
- * - npm・Go: SemVerとして解釈できない版は末尾に記載順のまま置く
+ * - npm・Go・PyPI: 解釈できない版は末尾に記載順のまま置く
  * - 比較器のないエコシステム: 記載順のまま返す
  */
 export function sortVersions(versions, ecosystem) {
     const unique = [...new Set(versions)];
     if (ecosystem === "Maven")
         return unique.sort(compareMavenVersions);
-    if (!SEMVER_ECOSYSTEMS.has(ecosystem))
+    const scheme = versionSchemeFor(ecosystem);
+    if (scheme === null)
         return unique;
-    const parsed = unique.flatMap((raw) => {
-        const version = parseSemver(raw);
-        return version === null ? [] : [{ raw, version }];
-    });
-    const unparsed = unique.filter((raw) => parseSemver(raw) === null);
-    parsed.sort((a, b) => compareParsedSemver(a.version, b.version) || (a.raw < b.raw ? -1 : a.raw > b.raw ? 1 : 0));
-    return [...parsed.map((p) => p.raw), ...unparsed];
+    const parsed = unique.filter((raw) => scheme.isValid(raw));
+    const unparsed = unique.filter((raw) => !scheme.isValid(raw));
+    parsed.sort((a, b) => scheme.compare(a, b) || (a < b ? -1 : a > b ? 1 : 0));
+    return [...parsed, ...unparsed];
 }

package/dist/tools/scanProject.js

@@ -78,7 +78,7 @@ function ecosystemBreakdown(project, packages) {
     return breakdown;
 }
 /** `>=X` / `~=X` の行は、osv-scannerが下限Xを使用中の版とみなしてスキャンしている */
-function markLowerBounds(project, packages) {
+export function markLowerBounds(project, packages) {
     return packages.map((pkg) => pkg.ecosystem === "PyPI" &&
         project.lowerBounds.some((lb) => lb.name === normalizePypiName(pkg.name) && lb.version === pkg.version)
         ? { ...pkg, version_is_lower_bound: true }

package/dist/tools/suggestFix.js

@@ -1,22 +1,22 @@
 /**
  * `suggest_fix`ツールのハンドラ。
  * scan_projectと同じ検出・スキャンを実行し、脆弱なパッケージごとの
- * 推奨アップグレードバージョン(3段階Tier)を返す。推奨はMaven・npm・Goに対応し、
- * それ以外(PyPI等)はunsupported_ecosystemとして返す。
+ * 推奨アップグレードバージョン(3段階Tier)を返す。推奨はMaven・npm・Go・PyPIに対応し、
+ * それ以外はunsupported_ecosystemとして返す。
  */
 import { isRemoteResolutionDisabled } from "../osv/runner.js";
 import { suggestUpgrades } from "../osv/suggestFix.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 { buildCoverage, markLowerBounds, scanFromSnapshot, TRANSITIVE_OMITTED_WARNING } from "./scanProject.js";
 import { errorResult, jsonResult } from "./toolResult.js";
 export async function handleSuggestFix(args, options = {}) {
     try {
         const project = await detectProject(args.project_path, { allowedRoot: options.allowedRoot });
         const noRemoteResolution = isRemoteResolutionDisabled(options);
         const report = await scanFromSnapshot(project, { ...options, noRemoteResolution });
-        const suggestions = suggestUpgrades(report.packages);
+        const suggestions = suggestUpgrades(markLowerBounds(project, 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,

package/dist/utils/pep440Version.js

@@ -0,0 +1,100 @@
+/**
+ * PEP 440(Pythonパッケージのバージョン)の解釈と優先順位比較。
+ *
+ * 正規化と比較はPyPA `packaging`(packaging.version)と同じ規則に従う:
+ * - 大文字小文字を無視し、先頭の`v`と前後の空白を許す
+ * - プレリリースの別表記: alpha→a、beta→b、c/pre/preview→rc。区切り文字(`.` `-` `_`)と番号は省略可(番号の省略は0)
+ * - post版: `.post1`、`-1`、`rev1`、`r1`。dev版: `.dev1`
+ * - ローカル版: `+`以降。区切りは`.` `-` `_`
+ * - 比較: epoch → リリース番号(末尾のゼロは無視: `1.0` = `1.0.0`) → プレリリース → post → dev → ローカル版
+ *   `1.0.dev1` < `1.0a1.dev1` < `1.0a1` < `1.0a1.post1` < `1.0b1` < `1.0rc1` < `1.0` < `1.0.post1.dev1` < `1.0.post1` < `1.0.post1+local`
+ *
+ * 実データ(docs/DESIGN_TODO.md「suggest_fix PyPI対応」)では、Djangoの`1.8c1`、TensorFlowの`2.8.0-rc0`のような
+ * 正規形でない値と、PyTorchの`2.6.0-cu124`のようなPEP 440でない値がある。後者はnullを返す。
+ * 数値はBigIntで保持する(2^53を超える値を丸めない)。
+ */
+const PEP440_RE = new RegExp("^\\s*v?" +
+    "(?:(?<epoch>[0-9]+)!)?" +
+    "(?<release>[0-9]+(?:\\.[0-9]+)*)" +
+    "(?<pre>[-_.]?(?<pre_l>alpha|a|beta|b|preview|pre|c|rc)[-_.]?(?<pre_n>[0-9]+)?)?" +
+    "(?<post>(?:-(?<post_n1>[0-9]+))|(?:[-_.]?(?<post_l>post|rev|r)[-_.]?(?<post_n2>[0-9]+)?))?" +
+    "(?<dev>[-_.]?(?<dev_l>dev)[-_.]?(?<dev_n>[0-9]+)?)?" +
+    "(?:\\+(?<local>[a-z0-9]+(?:[-_.][a-z0-9]+)*))?" +
+    "\\s*$", "i");
+const PRE_KINDS = {
+    a: "a", alpha: "a", b: "b", beta: "b", c: "rc", pre: "rc", preview: "rc", rc: "rc",
+};
+/** PEP 440として解釈する。解釈できなければnull */
+export function parsePep440(version) {
+    const m = PEP440_RE.exec(version);
+    const g = m?.groups;
+    if (!g)
+        return null;
+    const preLetter = g.pre_l?.toLowerCase();
+    return {
+        epoch: BigInt(g.epoch ?? "0"),
+        release: g.release.split(".").map(BigInt),
+        pre: preLetter === undefined ? null : { kind: PRE_KINDS[preLetter], number: BigInt(g.pre_n ?? "0") },
+        post: g.post === undefined ? null : BigInt(g.post_n1 ?? g.post_n2 ?? "0"),
+        dev: g.dev === undefined ? null : BigInt(g.dev_n ?? "0"),
+        local: g.local === undefined ? null : g.local.toLowerCase().split(/[-_.]/).map((s) => (/^\d+$/.test(s) ? BigInt(s) : s)),
+    };
+}
+function cmp(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
+const PRE_ORDER = { a: 0, b: 1, rc: 2 };
+/** プレリリースの順位: dev版だけの版はすべてのプレリリースより前、プレリリースのない版は後 */
+function preKey(v) {
+    if (v.pre === null)
+        return v.post === null && v.dev !== null ? [0, 0, 0n] : [2, 0, 0n];
+    return [1, PRE_ORDER[v.pre.kind], v.pre.number];
+}
+function compareRelease(a, b) {
+    // 末尾のゼロは比較に影響しない(1.0 = 1.0.0)
+    const length = Math.max(a.length, b.length);
+    for (let i = 0; i < length; i++) {
+        const result = cmp(a[i] ?? 0n, b[i] ?? 0n);
+        if (result !== 0)
+            return result;
+    }
+    return 0;
+}
+function compareLocal(a, b) {
+    if (a === null || b === null)
+        return a === b ? 0 : a === null ? -1 : 1;
+    const length = Math.min(a.length, b.length);
+    for (let i = 0; i < length; i++) {
+        const x = a[i];
+        const y = b[i];
+        if (typeof x === typeof y) {
+            const result = cmp(x, y);
+            if (result !== 0)
+                return result;
+        }
+        else {
+            // 数値の区切りは英字の区切りより大きい
+            return typeof x === "bigint" ? 1 : -1;
+        }
+    }
+    return cmp(a.length, b.length);
+}
+/** 解釈済みの2つの版をPEP 440の優先順位で比較する */
+export function compareParsedPep440(a, b) {
+    const [ap0, ap1, ap2] = preKey(a);
+    const [bp0, bp1, bp2] = preKey(b);
+    return (cmp(a.epoch, b.epoch) ||
+        compareRelease(a.release, b.release) ||
+        cmp(ap0, bp0) || cmp(ap1, bp1) || cmp(ap2, bp2) ||
+        // post版のない版はpost版より前
+        cmp(a.post === null ? -1n : a.post, b.post === null ? -1n : b.post) ||
+        // dev版でない版はdev版より後
+        (a.dev === b.dev ? 0 : a.dev === null ? 1 : b.dev === null ? -1 : cmp(a.dev, b.dev)) ||
+        compareLocal(a.local, b.local));
+}
+/** 2つの版をPEP 440の優先順位で比較する。どちらかを解釈できなければnull */
+export function comparePep440(a, b) {
+    const x = parsePep440(a);
+    const y = parsePep440(b);
+    return x === null || y === null ? null : compareParsedPep440(x, y);
+}

package/package.json

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