PaperGraph MCP：arXiv数学論文を証拠付きグラフで読み解くAIエージェント連携ツール

PaperGraph MCPはarXiv論文・ローカルLaTeXプロジェクト・PDFを「定理-証明の依存グラフ」に変換するMCPサーバーです。AIエージェントが証拠なしに依存関係を推測する（幻覚する）のを防ぐ「証拠ファースト」設計が特徴です。

GitHubで急上昇中の lotchuazzz-crypto/papergraph-mcp をご紹介します。スター数 158★ を獲得し、AI分野で注目されている数学論文読解支援ツールです。

PaperGraph MCPとは？AIエージェントの論文幻覚を防ぐ証拠ファーストワークフロー

PaperGraph MCPは、数学論文（arXiv・ローカルLaTeX・PDF）を定理-証明の依存グラフとして構造化し、Claude等のAIエージェントからModel Context Protocol（MCP）経由で利用できるサーバーツールです。

最大の特徴は証拠付き（evidence-grounded）の情報提供です。AIエージェントが数学論文を読む際、依存関係を推測（幻覚）して存在しない前提を生成する問題がありますが、PaperGraph MCPは証拠のある依存リンクのみを報告し、空の結果は「数学的事実ではなく抽出上の限界」と明示します。v1.0.0（安定版）として2026年にリリースされており、158スターを獲得しています。

こんな人におすすめ:

エンジニア向け: MCPクライアント（Claude Desktop等）を使うAI研究者やMLエンジニアが、数学論文の定理依存関係を効率的に追跡・管理できます
非エンジニア向け: Pythonとコマンドライン操作の基礎知識が必要なため、研究者・エンジニア向けのツールです

主な機能・特徴

Paper Map生成: 論文の主要結果候補・証明パス証拠・外部参照リスクを読み始める前に概観できる
証拠付き証明トレース: 定理の証明ローカル参照・引用ストップ・ソーススライスを原文箇所とともに追跡する
Markdown読解レポート出力: Gitやノートに保存可能な決定論的Markdownレポートをエクスポートする
クロスペーパー読解プラン: 複数の関連論文セットに対して、選択論文間の引用証拠と未解決リスクを含む読解計画を作成する
ローカルSQLiteワークスペース: 読解キュー・セッション・チェックポイント・メモ・ブロック対象・未解決質問をローカルに保存する

使い方・始め方

インストールと動作確認

uvをインストール後、リポジトリをクローンせずに動作確認できます。

uvx --from git+https://github.com/lotchuazzz-crypto/papergraph-mcp.git@v1.0.0 papergraph-mcp --version
uvx --from git+https://github.com/lotchuazzz-crypto/papergraph-mcp.git@v1.0.0 papergraph-mcp doctor

MCPクライアントへの追加（Claude Desktop等）

MCPクライアントのJSON設定ファイルに以下を追加します。

{
  "mcpServers": {
    "papergraph": {
      "command": "uvx",
      "args": [
        "--from",
        "git+https://github.com/lotchuazzz-crypto/papergraph-mcp.git@v1.0.0",
        "papergraph-mcp"
      ]
    }
  }
}

設定変更後にMCPクライアントを再起動します。

典型的な読解フロー

AIエージェントに以下のように指示することで、証拠付きの論文読解を開始できます。

@papergraph load arXiv paper 2401.12345 and show me the paper map

CLI直接実行の場合は以下のコマンドから始めます。

papergraph-mcp load-arxiv-request "2401.12345"
papergraph-mcp doctor

活用事例

ケース1：数学論文の定理依存関係追跡

数学系AI研究者が arXivの最新論文（例: diffusion modelの収束証明に関する論文）をPaperGraph MCPで読み込み、主定理がどの補題に依存しているかを証拠付きで確認します。AIエージェントが「この定理はX補題に依存している」と答えた場合、その根拠となるソーススライスを原文で確認できるため、幻覚に基づいた誤った理解を防げます。

ケース2：複数論文の比較読解計画

機械学習エンジニアが 関連する複数のトランスフォーマー論文をクロスペーパー読解プラン機能で横断的に整理します。選択論文間の引用証拠と未解決の外部依存リスクが可視化されるため、「どの論文から読むべきか」の優先順位付けをAIエージェントと協力しながら効率的に行えます。

類似ツールとの違い・なぜ今このツールか

同じarXiv論文をAIで読むツールとして arxiv-mcp-server や paper-search-mcp がありますが、PaperGraph MCPの差別化点は証拠の明示性にあります。

他のツールがAIによる要約・翻訳・解説を提供するのに対し、PaperGraph MCPは「AIが何を根拠に言っているか」を原文の位置情報付きで追跡可能にします。特に数学的な正確性が求められる研究シーンでは、「AIが推測した依存関係」と「論文に明示された依存関係」の区別が致命的に重要です。

2026年現在、Claude等のLLMを使った研究支援ツールが急増する中、証拠追跡性（traceability）をコアコンセプトにしたMCPサーバーはまだ少なく、注目が高まっています。

こんな人に向いている

数学・理論系AI研究者

深層学習の理論論文（収束証明・最適化理論等）を正確に理解したい研究者に最適です。定理間の依存グラフを自動生成することで、「この定理を理解するにはどの補題を先に読むべきか」というパス計画をAIエージェントと協力して作成できます。

機械学習エンジニア（論文実装担当）

最新の機械学習論文を実装する際、証拠付きの定理-実装対応表を作成したいエンジニア向けです。PaperGraphのReading Reportは決定論的なMarkdownで出力されるためGitで管理でき、チームでの論文理解の共有に使えます。

大学院生・ポスドク研究者

研究室でサーベイ論文を書く際の文献管理ツールとしても活用できます。クロスペーパー読解プランは、複数の関連論文間の引用関係を視覚化するため、サーベイのスコープ設定に役立ちます。

使う前に知っておきたいこと

技術的制限

証明検証は不可: PaperGraph MCPは論文が正しいかどうかを検証しません。証拠付きで「何が書かれているか」を追跡するのみです
意味論的マッチングなし: 「似た表現の定理が数学的に同値かどうか」の判断は行いません
LaTeX依存: PDF-onlyの論文はLaTeXソースがないと完全な依存グラフが構築できない場合があります
Python 3.10+必須: 古いPython環境では動作しません

ライセンス

MITライセンスです。商用利用・改変・再配布が許可されていますが、ライセンス表記の保持が必要です。

パフォーマンス

初回のarXiv論文ロード時はPDFダウンロード・LaTeX解析に時間がかかります。ローカルSQLiteキャッシュにより2回目以降は高速です。

まとめ

PaperGraph MCPは「AIが論文を幻覚なしに読む」というニーズに応えるMCPサーバーです。証拠付きの定理-証明依存グラフ・Markdown読解レポート・クロスペーパー読解プランという3つの機能セットは、数学系論文を扱う研究者やMLエンジニアに強力な武器となります。Claude等のMCPクライアントを持つユーザーは uvx 一行でインストールできる手軽さも魅力です。

GitHub でチェックする →

この技術を学ぶ

AIと論文読解技術に興味を持った方には、UdemyのオンラインコースもAI・機械学習スキルアップにおすすめです。

🎓 関連するAI・機械学習コース一覧 — セール時（最大90%OFF）を狙うとお得です