Turn mathematical LaTeX papers into theorem dependency graphs for AI agents.
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"papergraph-mcp","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Attributed to the source that supplied each field. Treated as claims, not facts.
<div align="center"> # PaperGraph MCP [](https://github.com/lotchuazzz-crypto/papergraph-mcp/actions/workflows/ci.yml) [](https://www.python.org/) [](LICENSE) [](https://github.com/lotchuazzz-crypto/papergraph-mcp/releases) **Read math papers with evidence, not guesses.** Turn arXiv papers, local LaTeX projects, and born-digital PDFs into a local theorem-centered workspace. Inspect source-backed results, proofs, citations, and dependencies; save reading progress and export Markdown reports. </div> ## What You Can Do - Start with a **Paper Map**: inspect structure, main-result candidates, and external reading risks before choosing a theorem. - Trace statements and proof-local references back to source slices; inspect direct and recursive dependencies, shared prerequisites, cycles, and unknowns. - Discover public full-text candidates for DOI papers and review scholarly reference matches from Crossref, OpenAlex, and arXiv. - Keep queues, sessions, checkpoints, notes, and open questions in local SQLite workspaces. Export **Reading Reports** and **Cross-Paper Reading Plans**. ## Quick Start This checkout prepares 1.2.3. Run the following planned commands only after its [release gates](docs/reference/v1.2.3-release-notes.md) record official-index acceptance. Install [uv](https://docs.astral.sh/uv/getting-started/installation/); no Git or checkout is required: ```sh uvx --from papergraph-mcp==1.2.3 papergraph-mcp --version uvx --from papergraph-mcp==1.2.3 papergraph-mcp doctor ``` [PyPI 1.2.2](https://pypi.org/project/papergraph-mcp/1.2.2/) is published and has passed [public-package and Git-free Linux acceptance](docs/reference/v1.2.2-publication.md). Until 1.2.3 acce…
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.