"author:lotchuazzz-crypto" matching MCP servers:

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.