Developer · Local MCP server

Verso

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

What the MCP Registry states

The entry as published to the official MCP Registry (read 2026-10-04), latest version.

Registry name
io.github.nvlang/verso
Version
0.4.2
Status
Active
Category
developer
Transport
stdio (local process)
Package
PyPI
Published
2026-05-18
Updated
2026-05-18
Publisher
nvlang (GitHub)
Repository
github.com/nvlang/verso-mcp
Source
Registry API entry

Packages

RegistryPackageVersionTransportEnvironment variables
PyPIverso-mcp0.4.2stdioVERSO_MCP_SITES

How to connect Verso

Verso runs locally from a Python package published to PyPI: verso-mcp version 0.4.2. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Python; clients usually start it with uvx (from uv) or after pip install — the usual command is uvx verso-mcp. It reads the environment variable VERSO_MCP_SITES; set it in the client's configuration for this server.

In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):

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

Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect

More developer servers

All 6,250 →
ServerRunsEndpoint or package
VerisBehavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.Local · stdionpm: veris-core
Veritasacta VerifyOffline receipt verifier. Ed25519 signature verification without contacting any server.Local · stdionpm: @veritasacta/verify
VeritasgraphZero-trust, air-gapped Enterprise GraphRAG MCP server with offline, citation-grounded answers.Local · stdioPyPI: veritasgraph-mcp
Verlon AI MCPInspect and manage Verlon AI gates, logs, recommendations, and experiments from any MCP client.Local · stdionpm: @verlon-ai/mcp
Vessel Traffic MCPRead-only MCP server for vessel AIS, ship tracking, schedules, and BYOK maritime providers.Local · stdionpm: @tools-mcp/vessel-traffic-mcp
VetDiscover and vet MCP servers: search 200K+ AI tools with security verification and schemas.Local · stdionpm: @getvetai/mcp
Veto93 agentic MCP tools + 49 specialist agents for every major AI CLI. Self-learning, no API keys.Local · stdionpm: @jigyasudham/veto
Veto — SQL Safety & Cost OracleDeterministic safety, correctness & cost gate that vets Postgres SQL before your AI agent runs it.Remote · HTTPvetosql.com