papergraph-mcp 是什么?为 AI agent 构建数学论文的证据化阅读地图

lotchuazzz-crypto/papergraph-mcp · GitHub
MCP 工具
Star285
近 7 天新增0
编程语言Python
开源协议MIT
创建于2026-09-02
最近更新2026-10-15

中文导读

PaperGraph MCP 解决的是数学论文阅读中结论来源难以追溯的问题。它把 arXiv 论文、本地 LaTeX 项目和 PDF 转成以定理为中心的本地工作空间,提取结果与证明证据,分析直接和递归依赖,生成阅读顺序,并导出 Markdown 报告或跨论文阅读计划。适合需要系统梳理证明依赖的研究者,以及想为 AI agent 提供可靠论文阅读能力的开发者。

根据 GitHub 公开数据,该项目的编程语言为 Python,开源协议为 MIT,创建于 2026-09-02,最近更新于 2026-10-15,目前有 285 个 Star。

项目介绍

PaperGraph MCP 是一个面向数学论文的本地工作空间工具,通过 Model Context Protocol 与 AI agent 集成。它把 arXiv 论文、本地 LaTeX 项目和数字原生 PDF 转换成以定理为中心的结构化阅读地图,帮助研究者追踪每个结论的来源证据。

项目支持从 DOI 发现公开全文候选、导入用户选定的论文、检查证明与引用的源证据、分析直接和递归依赖关系,并导出 Markdown 阅读报告或跨论文阅读计划。所有分析都保留原始来源片段,不依赖猜测。

工具提供 CLI 和 MCP 两种使用方式,适合需要系统化阅读数学文献、梳理证明依赖关系的研究人员,以及希望为 AI agent 提供可靠论文阅读能力的开发者。

主要功能

适合谁用

需要系统阅读数学论文、追踪证明依赖关系的研究人员,以及希望为 AI agent 提供可靠论文阅读能力的开发者。

快速上手

  1. 安装依赖并同步环境:uv sync --locked --dev
  2. 检查版本:uv run papergraph-mcp --version
  3. 运行诊断:uv run papergraph-mcp doctor
  4. 发现 DOI 论文:papergraph-mcp discover-doi DOI
  5. 导入选定的 DOI 候选:papergraph-mcp import-doi-candidate WORKSPACE DOI CANDIDATE_ID --confirm

Star 增长趋势

285284 · 2026-10-14 至 2026-10-16

同类项目

面向 AI 编程代理的性能优化系统
★ 28.0万 · JavaScript · 更新于 2026-10-15
通过 MCP 让 AI Agent 逆向分析二进制、应用与网站
★ 27.0万 · TypeScript · 更新于 2026-10-16
可视化与代码结合的工作流自动化平台,原生支持 AI
★ 20.8万 · TypeScript · 更新于 2026-10-15
Java 后端面试与 AI 应用开发指南
★ 15.9万 · JavaScript · 更新于 2026-10-15
开源 LLM 应用开发平台,可视化编排工作流与 RAG
★ 15.9万 · TypeScript · 更新于 2026-10-16
自托管、可扩展的 AI 对话界面,支持 Ollama 与 OpenAI 兼容 API
★ 15.6万 · Python · 更新于 2026-10-16