mcpbeat

Verso MCP Server

io.github.nvlang/verso
local only

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

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

Installs per day peak 24 · avg 9 · -18% w/w
a month agotoday
46
Installs / week
pypi · verso-mcp
1
Stars
0 open issues
1 Aug 2026
Last commit
0 releases in 90 days
Apache-2.0
License
Python

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.

run in your terminal
claude mcp add verso -- uvx verso-mcp
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "verso": {
      "args": [
        "verso-mcp"
      ],
      "command": "uvx"
    }
  }
}
~/.codex/config.toml
[mcp_servers.verso]
command = "uvx"
args = ["verso-mcp"]
.cursor/mcp.json
{
  "mcpServers": {
    "verso": {
      "args": [
        "verso-mcp"
      ],
      "command": "uvx"
    }
  }
}
.vscode/mcp.json
{
  "mcpServers": {
    "verso": {
      "args": [
        "verso-mcp"
      ],
      "command": "uvx"
    }
  }
}

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 46 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 with the file path 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 46 times in the last week. Week over week that is -18%. 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.