Generate A Reading Queue From Local Proof Dependencies

PaperGraph 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