A
licenseA
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.
14
31
MIT
81,811 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓