A
licenseC
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.
63
259
MIT
91,269 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
app.ofia
io.github.pressa-dev
io.github.MCPServings
dev.paperdock
"LaTeX" matching MCP servers:
GET /v1/servers – MCP directory API reference- AlicenseCqualityBmaintenanceEnables AI agents to turn local and arXiv LaTeX papers into queryable theorem-proof dependency graphs, making mathematical relationships easier to explore.31MIT