Enables semantic search across personal PDF paper collections with page-level citations, allowing users to query their library from any MCP-capable client.
Turns arXiv and LaTeX mathematical papers into theorem dependency graphs, exposing MCP tools to load papers, list theorems, get theorem details, find dependencies, and locate where theorems are used.
A local academic research assistant that indexes PDFs into a searchable vector library and exposes MCP tools for semantic search, claim extraction, contradiction detection, and multi-step research synthesis.
Remotely-callable MCP server for academic paper search, full-text retrieval and image to LaTeX conversion across arXiv, Semantic Scholar, and OpenAlex.
A local MCP server for searching scientific papers, retrieving metadata and abstracts, and legally downloading Open Access PDFs via OpenAlex, CrossRef, and Unpaywall APIs.