{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.nvlang/verso","description":"MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).","repository":{"url":"https://github.com/nvlang/verso-mcp","source":"github"},"version":"0.4.2","packages":[{"registryType":"pypi","identifier":"verso-mcp","version":"0.4.2","transport":{"type":"stdio"},"environmentVariables":[{"description":"Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset.","name":"VERSO_MCP_SITES"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-05-18T03:37:53.731563Z","publishedAt":"2026-05-18T03:37:53.731563Z","updatedAt":"2026-05-18T03:37:53.731563Z","isLatest":true}}}],"metadata":{"count":1}}