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
| Registry | Package | Version | Transport |
|---|---|---|---|
| PyPI | verso-mcp | 0.4.2 | stdio |
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
| Server | Runs |
|---|---|
| VerisBehavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT. | Local · stdio |
| Veritasacta VerifyOffline receipt verifier. Ed25519 signature verification without contacting any server. | Local · stdio |
| VeritasgraphZero-trust, air-gapped Enterprise GraphRAG MCP server with offline, citation-grounded answers. | Local · stdio |
| Verlon AI MCPInspect and manage Verlon AI gates, logs, recommendations, and experiments from any MCP client. | Local · stdio |
| Vessel Traffic MCPRead-only MCP server for vessel AIS, ship tracking, schedules, and BYOK maritime providers. | Local · stdio |
| VetDiscover and vet MCP servers: search 200K+ AI tools with security verification and schemas. | Local · stdio |
| Veto93 agentic MCP tools + 49 specialist agents for every major AI CLI. Self-learning, no API keys. | Local · stdio |
| Veto — SQL Safety & Cost OracleDeterministic safety, correctness & cost gate that vets Postgres SQL before your AI agent runs it. | Remote · HTTP |