How do I install Verso?

Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.

Does Verso need an API key?

The publisher lists these environment variables: VERSO_MCP_SITES.

When was Verso last checked?

Last checked 2026-11-10. MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

Verso MCP server

Power your agent

Add this server

The publisher's own command. Not a PlugMCP endpoint.

Add to Cursor Add to VS Code Run on PlugMCP

Host a copy with our keys and logs.

Local command

uvx verso-mcp==0.4.2

Credentials from the publisher

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

Claude Code has no install link for a local command. Copy the command below and run it in a terminal.

shClaude Code

1VERSO_MCP_SITES=<value> claude mcp add io.github.nvlang-verso -- uvx verso-mcp==0.4.2

Run in a terminal.

jsonClaude Desktop

1{2  "mcpServers": {3    "io.github.nvlang-verso": {4      "command": "uvx",5      "args": [6        "verso-mcp==0.4.2"7      ],8      "env": {9        "VERSO_MCP_SITES": "<value>"10      }11    }12  }13}

claude_desktop_config.json

Local · pypiPublisher installStep-by-step: add this in Claude

Remote URL or a command on your machine? How the two installs differ

Run on PlugMCP

Host a copy with our keys and logs.

A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.

Launch

Server facts

Local

Transport: stdio
Version: 0.4.2
API key

Tools

No tool list yet. Remote servers get one after the first health check.

FAQ

Verso

Add this server

Host a copy with our keys and logs.

Server facts

Tools

Questions

How do I install Verso?

Does Verso need an API key?

What transport does Verso use?

When was Verso last checked?

Documentation