MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Connect Runs on your machine
claude mcp add verso -e VERSO_MCP_SITES=<VERSO_MCP_SITES> -- uvx verso-mcp==0.4.2
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp==0.4.2"
],
"env": {
"VERSO_MCP_SITES": "<VERSO_MCP_SITES>"
}
}
}
}
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp==0.4.2"
],
"env": {
"VERSO_MCP_SITES": "<VERSO_MCP_SITES>"
}
}
}
}
{
"servers": {
"verso": {
"type": "stdio",
"command": "uvx",
"args": [
"verso-mcp==0.4.2"
],
"env": {
"VERSO_MCP_SITES": "<VERSO_MCP_SITES>"
}
}
}
}
Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.
Tools
This server runs locally, so its tools are listed by your MCP client once it starts.
Environment variables
| Name | Description |
|---|---|
VERSO_MCP_SITESOptional | Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset. |
Details
| Package | [email protected] (PYPI, stdio) |
| First published | 18 May 2026 |
| Last updated | 18 May 2026 |
| Registry name | io.github.nvlang/verso |
More developer tools servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.
