Pystub MCP server

<!-- mcp-name: io.github.KoyoYeager/pystub -->

mcp-pystub

Python exe ビルド（PyInstaller / Nuitka / cx_Freeze）時にスタブ置換可能なパッケージを自動検出し、最小スタブコードを生成する MCP サーバー。

An MCP server that auto-detects stubbable packages for Python exe builds (PyInstaller / Nuitka / cx_Freeze) and generates minimal stub code to reduce executable size.

背景 / Background

Python アプリを exe 化すると、依存ライブラリがモジュールレベルで import する重量パッケージが丸ごと同梱され、exe サイズが膨張する。実際のコードパスで使わないパッケージは最小ダミー（スタブ）で置換すれば大幅なサイズ削減が可能。

When building Python apps into executables, heavy packages imported at module level by dependencies get bundled entirely, bloating the exe size. Replacing unused packages with minimal stubs can significantly reduce size.

実証データ / Verified Results

asammdf プロジェクト — PyInstaller exe ビルド（E2E 動作確認済み）:

asammdf 変換ツール（analyze 結果）:

stubbable:          pandas (59.7 MB), canmatrix (4.0 MB) — 合計 63.7 MB
submodule hints:    asammdf.gui → PySide6 (523 MB) 排除可能 — 50 hints 検出

手動でスタブ化していた 3 パッケージ（pandas, canmatrix, asammdf.gui）を全て自動検出

機能 / Features

判定結果 / Verdicts

できること / What It Can Do

• ライブラリ非固定の汎用検出: AST 構造のみで判定。ハードコードなし
• 関数レベルの使用追跡: mdf.get() は使うが mdf.to_dataframe() は使わない → pandas は stubbable
• Call と参照の区別: isinstance(x, pd.DataFrame) は stub-safe、pd.DataFrame(data) は実使用
• クラス継承の検出: class User(BaseModel) → pydantic は required
• module-level 呼び出し検出: import 時に実行されるコードを追跡
• try/except 保護の自動検出: 保護された import は nofollow と判定
• スタブコード自動生成: 参照シンボルのみの最小スタブ + ビルド手順（バックアップ・復元・検証）
• C 拡張の自動検出: .pyd / .so を含むパッケージは直接スタブ化不可と判定
• C 拡張の間接排除 (v0.2 new): C拡張パッケージを import しているサブモジュールが未使用なら、そのサブモジュールをスタブ化して C拡張を排除可能。PySide6 (523 MB) → asammdf.gui スタブで exe 40% 削減を実証
• 復元安全設計 (v0.2 new): バックアップ + バージョン固定 pip + 検証コマンドの 3 重安全策
• PyInstaller フック情報: 無効化が必要なフックファイルを通知

できないこと・制限事項 / Limitations

• C 拡張パッケージ（.pyd / .so）は直接スタブ化すると C 拡張が欠落するため required 判定。ただし generatesubmodule で間接排除が可能**（v0.2 で対応）
• 動的 import（importlib.import_module(変数)）は静的解析で追跡不可（warnings で通知）
• PyInstaller カスタムフック: スタブと衝突する場合がありフックの手動無効化が必要
• 遅延初期化パターン: init で直接呼ばず後のメソッドで使うパッケージは検出精度が下がる（安全側で required に判定）
• pip 名と import 名の不一致: python-dateutil → dateutil 等のマッピングは未対応
• ランタイムの条件分岐: if sys.version < (3,11) 内の import は静的解析で判定不可

安全性の設計方針 / Safety Policy

「stubbable と判定したが実は必要だった」は絶対に起こさない設計。判定に迷う場合は required（安全側）に倒す。逆方向の誤判定（本当は stubbable なのに required）は許容する。

解析アルゴリズム / Analysis Algorithm

Shortened. The full README is on GitHub.