papergraph-mcp
★ 272PaperGraph MCP is a stdio MCP server that turns arXiv papers, local LaTeX and PDFs into an evidence-grounded theorem dependency workspace. Agents can build Paper Maps, trace proof and citation evidence, plan reading order, resolve blocked references, and export Markdown reading reports without guessing dependencies.
MCP | Python · mcp-server · arxiv
View Project →