io.github.nvlang/verso

v0.4.2

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

Install

uvx verso-mcp==0.4.2

Details

Transport: —
Status: active
Repository: https://github.com/nvlang/verso-mcp
Published: 2026-05-18
Updated: 2026-05-18

Own this MCP server?

Email hello@agentalmanac.org with proof you own this listing (link your GitHub user to io.github.nvlang/verso) to claim it and earn a ⭐ badge plus public contact info.