https://pypi.org/project/verso-mcp/ Recent updates to the Python Package Index for verso-mcp en https://pypi.org/project/verso-mcp/0.4.2/ MCP server for Verso-generated documentation sites (the Lean Language Reference, Functional Programming in Lean, and other Verso Manual-genre sites). git@nvlang.dev Mon, 18 May 2026 03:37:40 GMT https://pypi.org/project/verso-mcp/0.4.0/ MCP server for Verso-generated documentation sites (the Lean Language Reference, Functional Programming in Lean, and other Verso Manual-genre sites). git@nvlang.dev Mon, 18 May 2026 03:07:13 GMT