io.github.nvlang/versoother

verso

Synced · awaiting check

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

Install

claude mcp add verso -- uvx verso-mcp

Requires: VERSO_MCP_SITES

Our take

Not yet reviewed. This entry is synced and verified automatically but hasn't had an editorial pass yet. The data above is real; the judgment is yours for now.

Something wrong or dead here? Report it

Verification record

in registry since: 2026-05-18

github.com/nvlang/verso-mcp