verso

Indexed by io.github.nvlang

About

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

Use this server

Add it to your MCP client. The catalogue lists this config verbatim from its source — it does not run, download, or vouch for the server. Review the command before you run it.

Transportstdio (runs a local command)

Env varsVERSO_MCP_SITES

Claude Code

claude mcp add --env VERSO_MCP_SITES= verso -- uvx verso-mcp

Cursor

Add to Cursor

If the button doesn't open Cursor, use the JSON below — Cursor accepts the same mcpServers config.

VS Code

code --add-mcp '{"name":"verso","command":"uvx","args":["verso-mcp"],"env":{"VERSO_MCP_SITES":""}}'

JSON

{
  "mcpServers": {
    "verso": {
      "command": "uvx",
      "args": [
        "verso-mcp"
      ],
      "env": {
        "VERSO_MCP_SITES": ""
      }
    }
  }
}

Environment variables are listed by name only — fill in your own values. Entries never carry secrets.