PyPI recent updates for arxiv-mcp-lean https://pypi.org/project/arxiv-mcp-lean/ Recent updates to the Python Package Index for arxiv-mcp-lean en 0.7.1 https://pypi.org/project/arxiv-mcp-lean/0.7.1/ A Model Context Protocol server for arXiv paper search and retrieval Thu, 12 Nov 2026 03:53:06 GMT 0.7.0 https://pypi.org/project/arxiv-mcp-lean/0.7.0/ A Model Context Protocol server for arXiv paper search and retrieval Thu, 12 Nov 2026 03:43:58 GMT