A
licenseC
qualityB
maintenanceEnables AI agents to turn local and arXiv LaTeX papers into queryable theorem-proof dependency graphs, making mathematical relationships easier to explore.
31
MIT
Keystone
Server Details
What an arXiv paper builds on, disputes and assumes, read verbatim from its LaTeX. No LLM.
If you are the author of this connector, you can claim ownership by verifying the domain or GitHub account it belongs to. Claimed connector authors can inspect health checks, view analytics, and manage their listing.
- Status
- Healthy
- Uptime
- 100.0% over the last 24 hours
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-06-18
- URL
- Repository
- Srikarmk/Keystone
- GitHub Stars
- 0
- ChatGPT
- –
- Claude
- –
TDQS
A3.6/5.0
Scored across 3 tools
Disambiguation4/5
The three tools are largely distinct: list_disagreements gives a small curated set, search_library supports arbitrary stance/assumption queries, and read_paper targets one paper. There is still real overlap because list_disagreements is effectively a specialized disputes view of search_library, which could cause an agent to hesitate between them.
Naming Consistency5/5
All tool names follow a consistent snake_case verb_noun pattern: list_disagreements, read_paper, search_library. The verbs are clear and predictable for their actions.
Tool Count5/5
Three tools is appropriate for a narrow read-only research-library server. Each tool has a clear role and there is no obvious bloat.
Completeness4/5
The surface covers the core workflows: searching citation stances and assumptions, reading a single paper in depth, and reviewing all disagreements. A minor gap is the lack of a way to enumerate or browse the 234 indexed papers directly, though search_library can work around this for many queries.
Available Tools
3 toolslist_disagreementsWhere the library argues with itselfCInspect
Every sentence in the library where a paper says prior work is wrong, or puts itself beside it to win. Small on purpose — disagreement is rare and concentrated, and the whole set is readable.
Inputs: kind, limit.
read_paperRead one paper's citations and assumptionsAInspect
Everything Keystone reads out of one arXiv paper: what it adopts, extends, disputes and measures against, and the assumptions it states with a citation, its own evidence, or nothing at all. Works for any paper on arXiv that ships LaTeX source — one outside the library is parsed on demand, which takes a few seconds. Nothing is summarised or inferred; every line is the paper's own.
Inputs: arxiv_id (required), include.
search_librarySearch what Keystone readAInspect
Search 2497 readings taken from 234 arXiv papers' LaTeX source: citation stances (adopts, extends, disputes, measures against) and stated assumptions. Matches on the quoted sentence, the cue phrase that decided it, and the work cited. Returns the sentence verbatim with a link to the exact line.
Inputs: query (required), limit, stance.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Loading tool schema changelog…
Related MCP Connectors
Reviews of arXiv papers for AI agents: verdicts, claims, flaws, compiled records, citation graphs.
Cite the claim, not the paper: 5,033 assertions, each hash-verifiable against its source PDF
Research intelligence for AI coding agents. 2M+ CS papers with evidence and tradeoffs.
Search your own PDF library and write LaTeX with every claim anchored to its source paragraph.
Related MCP Servers
- FlicenseNot gradedqualityAmaintenanceEnables MCP clients such as Claude Desktop, Claude Code, and Cursor to fetch and process arXiv papers from their LaTeX sources, so equations and mathematical expressions can be interpreted accurately.-
- FlicenseNot gradedqualityAmaintenanceEnables MCP clients such as Claude Desktop, Claude Code, and Cursor to access and process arXiv papers by fetching their LaTeX source, with tools for full paper prompts, abstracts, section listings, and specific sections. This allows accurate interpretation of mathematical expressions and notation in equation-heavy papers.-
- FlicenseNot gradedqualityAmaintenanceEnables MCP clients to fetch and process arXiv LaTeX sources, giving LLMs accurate access to equations, notations, abstracts, and individual paper sections for precise mathematical interpretation.-
Try in Browser
One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd
Glama MCP Gateway
Add one secure layer between your agents and this server.