Skip to content
mcp/skillhub

Verso MCP Server

by nvlangio.github.nvlang/versov0.4.2

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

1Pythonstdioofficial registry

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-mcp

Configuration

VariableRequiredSecretDescription
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.

  1. Last commit (default branch)

    2026-10-01 · 9d ago · GitHub

  2. Latest release

    2026-05-18 · 5mo ago · GitHub · v0.4.2

  3. Package published

    no data · npm/PyPI

  4. 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.

View all