NestDaddy

Verso

io.github.nvlang/verso ยท v0.4.2

MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

Connect Runs on your machine

Terminal
claude mcp add verso -e VERSO_MCP_SITES=<VERSO_MCP_SITES> -- uvx verso-mcp==0.4.2
claude_desktop_config.json
{
  "mcpServers": {
    "verso": {
      "command": "uvx",
      "args": [
        "verso-mcp==0.4.2"
      ],
      "env": {
        "VERSO_MCP_SITES": "<VERSO_MCP_SITES>"
      }
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "verso": {
      "command": "uvx",
      "args": [
        "verso-mcp==0.4.2"
      ],
      "env": {
        "VERSO_MCP_SITES": "<VERSO_MCP_SITES>"
      }
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "verso": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "verso-mcp==0.4.2"
      ],
      "env": {
        "VERSO_MCP_SITES": "<VERSO_MCP_SITES>"
      }
    }
  }
}

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Environment variables

NameDescription
VERSO_MCP_SITES
Optional
Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset.

Details

Package[email protected] (PYPI, stdio)
First published18 May 2026
Last updated18 May 2026
Registry nameio.github.nvlang/verso

More developer tools servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.