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
112,701 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓