Verso MCP Server
by nvlangio.github.nvlang/versov0.4.2
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
context tax
queued
security
queued
cold start
queued
freshness
Active9d ago
Install Verso MCP server
Install in Claude Code
claude mcp add verso -- uvx verso-mcpInstall in Cursor
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"verso": {
"type": "stdio",
"command": "uvx",
"args": [
"verso-mcp"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Configuration
| Variable | Required | Secret | Description |
|---|---|---|---|
| VERSO_MCP_SITES | — | — | Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset. |
Freshness
Active — last maintenance signal 9d ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-10-01 · 9d ago · GitHub
Latest release
2026-05-18 · 5mo ago · GitHub · v0.4.2
Package published
no data · npm/PyPI
Registry entry updated
2026-05-18 · 5mo ago · official registry · v0.4.2
FAQ
›How do I install the Verso MCP server in Claude Code?
Run: claude mcp add verso -- uvx verso-mcp. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Verso require an API key?
No required environment variables are declared in its published metadata.
›Can I use Verso as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Verso in the official MCP registry?
Yes, as io.github.nvlang/verso.
Alternatives to Verso
Other documentation MCP servers.