A
licenseB
qualityA
maintenanceTurns 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.
54
196
MIT
TheoremSearch-MCP
by FDscend
Related Servers
Alternatives to TheoremSearch-MCP
No user-submitted related servers found.
Related Servers
- AlicenseAqualityCmaintenanceAn MCP server that enables MCP clients to directly access and process arXiv papers by fetching the LaTeX source, improving mathematical content understanding.4104 PyPI147MIT
- AlicenseNot gradedqualityDmaintenanceA lightweight MCP server for querying arXiv with semantic and keyword search, supporting natural language queries and structured filters.2MIT
- AlicenseAqualityCmaintenanceThis MCP server provides tools to search arXiv, score papers for relevance and citation impact, and find foundational references, enabling research assistants to compile reading lists.3MIT
- AlicenseNot gradedqualityBmaintenanceMCP server for semantic research: search arXiv, fetch papers, and answer questions grounded in the actual paper text via RAG tools, resources, and prompts.1MIT
- AlicenseNot gradedqualityDmaintenanceRemotely-callable MCP server for academic paper search, full-text retrieval and image to LaTeX conversion across arXiv, Semantic Scholar, and OpenAlex.1MIT
This server cannot be deployed
Maintenance
ActivitySlowing
ResponsivenessNo issues