LocalFree

Verso MCP server

nvlang/verso-mcp

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

1 GitHub stars
Source code

Install Verso in Claude Code

Claude Code
claude mcp add verso -- uvx verso-mcp
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "verso": {
      "command": "uvx",
      "args": [
        "verso-mcp"
      ]
    }
  }
}

Frequently asked questions

What does the Verso MCP server do?

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

Is the Verso MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Verso run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Verso to Claude Code?

Run: claude mcp add verso -- uvx verso-mcp

More other tools & integrations MCP servers

View all

Veterinary Fda

1

pipeworx-io/mcp-veterinary-fda

Veterinary FDA MCP — openFDA Animal & Veterinary adverse events, pet/animal food & drug recalls…

Local + RemoteFree

Veracrypt

1

bitterdev/veracrypt-mcp

MCP server to mount and unmount VeraCrypt containers with secure stdin password handling.

LocalFree

Vintage

1

RezaSoleymanifar/vintage

Free financial data from eleven sources behind six verbs, point-in-time where the source allows.

LocalFree

ValidateFin

1

elnicaise/validatefin-mcp

Validate SEPA, UBL/Peppol, XRechnung, camt, ACH & IBAN files locally — no data leaves your machine.

LocalFree

Vmd Hydrate

1

wjgoarxiv/vmd-hydrate-mcp

Drive VMD for GROMACS/LAMMPS analysis + clathrate-hydrate cage science (needs a local VMD)

LocalFree

Vahtian

1

heidihelena/vahtian

Freeze a corpus, check it for drift, keep a hash-chained audit ledger. Local-first, stdlib-only.

LocalFree