Local-first MCP server exposing a research-mathematics arXiv corpus to multi-agent Claude pipelines: semantic + equation search, notation tables, citation graph, Lean verification
<!-- Badges: the GitHub-dynamic ones (downloads, last-commit, release) render once the repo is public and (for downloads/release) once a release is cut. The static ones always render. See docs/releasing.md. --> A local-first [Model Context Protocol (MCP)](https://modelcontextprotocol.io/specification/2025-06-18)