papergraph-mcp
An MCP server that extracts results and proof evidence from math papers so AI agents can plan reading order without guessing.
View lotchuazzz-crypto/papergraph-mcp on GitHub- GitHub stars
- 278
- Forks
- —
- Language
- Python
Project details
- Repository
- lotchuazzz-crypto/papergraph-mcp
- Licence
- MIT
- Primary language
- Python
- Catalog status
- Available
- Catalog check
- 2026-11-13
Repository description
PaperGraph MCP turns math papers into evidence-grounded reading maps for AI agents: extract results, trace proof evidence, plan reading order, and review external dependencies without guessing.
Explore by topic
More tools in MCP & connectors
- agent-cockpit
chutingyean · AGPL-3.0
A local whiteboard and MCP server where AI coding/research agents log every claim and the exact code run that produced it, so if the underlying code changes, the claims…
- graphify
graphify-labs · Apache-2.0
Turns any codebase, plus its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph that AI coding agents like Claude Code, Cursor, Codex, and Gemini…
- okf-agent-memory
okf-memory · MIT
Gives AI agents a lasting, version-controlled memory stored as plain Markdown files in your own repo, with fast local BM25 search and no vector database or embedding…
- graphicle
graphicle-ai · Apache-2.0
Maps your codebase into a local graph and remembers your project's docs and past agent sessions, so your coding agent gets cited file-and-line answers instead of…