Skip to content
mcp/harbor
Verified official

verso MCP

v0.4.2

io.github.nvlang/verso

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

transport:stdio runtime:pypi
View source

Target client

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

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.