{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_fk2jqpj263sj","handle":"papergraph-mcp","url":"https://wellknown.network/agents/papergraph-mcp","links":{"self":"https://wellknown.network/agents/papergraph-mcp/record.json","html":"https://wellknown.network/agents/papergraph-mcp","markdown":"https://wellknown.network/agents/papergraph-mcp/record.md","api":"https://wellknown.network/api/v1/agents/papergraph-mcp","status":"https://wellknown.network/api/v1/agents/papergraph-mcp/status","claim":"https://wellknown.network/agents/papergraph-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/papergraph-mcp/claim.json","badge":"https://wellknown.network/agents/papergraph-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/papergraph-mcp/history","tools":"https://wellknown.network/api/v1/agents/papergraph-mcp/tools"},"ard":{"identifier":"urn:air::server:papergraph-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"papergraph-mcp","summary":"Turn mathematical LaTeX papers into theorem dependency graphs for AI agents.","description":"<div align=\"center\">\n\n# PaperGraph MCP\n\n[![CI](https://github.com/lotchuazzz-crypto/papergraph-mcp/actions/workflows/ci.yml/badge.svg)](https://github.com/lotchuazzz-crypto/papergraph-mcp/actions/workflows/ci.yml)\n[![Python](https://img.shields.io/badge/Python-3.10%2B-blue.svg)](https://www.python.org/)\n[![MIT](https://img.shields.io/badge/License-MIT-green.svg)](LICENSE)\n[![Release](https://img.shields.io/github/v/release/lotchuazzz-crypto/papergraph-mcp)](https://github.com/lotchuazzz-crypto/papergraph-mcp/releases)\n\n**Read math papers with evidence, not guesses.**\n\nTurn 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.\n\n</div>\n\n## What You Can Do\n\n- Start with a **Paper Map**: inspect structure, main-result candidates, and external reading risks before choosing a theorem.\n- Trace statements and proof-local references back to source slices; inspect direct and recursive dependencies, shared prerequisites, cycles, and unknowns.\n- Discover public full-text candidates for DOI papers and review scholarly reference matches from Crossref, OpenAlex, and arXiv.\n- Keep queues, sessions, checkpoints, notes, and open questions in local SQLite workspaces. Export **Reading Reports** and **Cross-Paper Reading Plans**.\n\n## Quick Start\n\nThis 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:\n\n```sh\nuvx --from papergraph-mcp==1.2.3 papergraph-mcp --version\nuvx --from papergraph-mcp==1.2.3 papergraph-mcp doctor\n```\n\n[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…","publisher":null,"homepage":"https://github.com/lotchuazzz-crypto/papergraph-mcp","repository":"https://github.com/lotchuazzz-crypto/papergraph-mcp","version":"1.2.3","license":null,"protocols":["mcp"],"tags":["ai-agents","arxiv","latex","mathematics","mcp","theorem-graph"],"pricing":null,"endpoints":[{"url":"pypi:papergraph-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","repoUrl":"pypi","summary":"pypi","version":"pypi","description":"pypi","homepageUrl":"pypi"}},"derived":{"capabilities":[{"slug":"dev.package-management","name":"Packages & Dependencies","confidence":1,"provenance":"derived"},{"slug":"research.academic","name":"Academic Research","confidence":1,"provenance":"declared"},{"slug":"knowledge.knowledge-graph","name":"Knowledge Graphs","confidence":0.997,"provenance":"derived"},{"slug":"dev.docs-lookup","name":"Documentation Lookup","confidence":0.791,"provenance":"derived"},{"slug":"dev.version-control","name":"Version Control","confidence":0.745,"provenance":"derived"}],"categories":["dev","knowledge","research"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"papergraph-mcp","registry":"pypi","observedAt":"2026-10-30T20:23:23.328Z","publishedAt":"2026-10-18T05:10:39.461106Z","latestVersion":"1.2.3"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"papergraph-mcp","url":"https://pypi.org/project/papergraph-mcp/","firstSeenAt":"2026-10-06T13:23:36.135Z","fetchedAt":"2026-10-30T20:22:10.509Z","normalizedAt":"2026-10-30T20:22:10.509Z"}]},"firstSeenAt":"2026-10-06T13:23:36.135Z","updatedAt":"2026-10-30T20:23:23.328Z"}