Verso MCP Server

by nvlang Your server? Claim it

local only

Verso runs on your own machine — the client starts it, so there is no endpoint to ping. 106 installs a week from pypi. Last commit 1 Nov 2026.

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

Installs per day peak 30 · avg 13 · +47% w/w

a month agotoday

106

Installs / week

pypi · verso-mcp

Stars

0 open issues

1 Nov 2026

Last commit

from GitHub

Apache-2.0

License

Python

Nothing serious here today

Today is the operative word: we check Verso every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

claude mcp add verso -- uvx verso-mcp

~/Library/Application Support/Claude/claude_desktop_config.json

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

~/.codex/config.toml

[mcp_servers.verso]
command = "uvx"
args = ["verso-mcp"]

.cursor/mcp.json

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

.vscode/mcp.json

{
  "servers": {
    "verso": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "verso-mcp"
      ]
    }
  }
}

Optional settings from the registry entry, left out of the block above: VERSO_MCP_SITES (Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset).

Alternatives to Verso

same job, measured the same way

Druxt docs

by druxtjs

Search and read the Druxt documentation and API reference.

3 tools answering

Pdfgate

by pdfgate

MCP server for the PDFGate API. Generate PDFs, manage documents and handle e-signatures.

278 installs/wk answering

Site

by co-leadgenerationroofing

Lead generation for roofing: the site's own MCP server — enquiry (enquiry = a human handoff, not...

3 tools answering

Sikaru Docs

by sikaru

Read-only search over the public Sikaru documentation: managed agents, inference, evals and traces.

1 tools answering

Qiskit Documentation MCP Server

by qiskit

MCP server for querying and retrieving Qiskit documentation, guides, and API references

758 installs/wk local only

Docs MCP

by acta-team

Read-only MCP server for the official ACTA verifiable credentials documentation.

62 installs/wk local only

Claude Platform Docs

by claude-platform

Search and read the Claude Platform documentation and API reference.

4 tools answering

classifier.dev docs

by classifier

classifier.dev documentation as tools: list, read and search the reference, benchmark and guides.

4 tools answering

Verso — questions

Answers built from our own checks of this server.

Why is there no uptime for Verso?

Verso runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the pypi package verso-mcp was installed 106 times last week.

How do I connect Verso?

Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It runs locally, so the command pulls verso-mcp straight from pypi; nothing to host, nothing to sign up for.

How many people use Verso?

The pypi package verso-mcp was installed 106 times in the last week. Week over week that is +47%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.

Is Verso open source?

Yes — it is published under the Apache-2.0 licence, written in Python and 1 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.