Skip to content
mcp/harbor
Claude Code

verso for Claude Code

io.github.nvlang/verso

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

client:Claude Code transport:stdio runtime:pypi

Install verso in Claude Code

run in your project directory

Held in this page only — never stored, logged, or sent anywhere but back to your screen. 

claude mcp add verso -e VERSO_MCP_SITES=<VERSO_MCP_SITES> -- uvx verso-mcp

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

verso in other clients

verso MCP server