verso

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

Typical command from the package name. Check the README for required configuration and credentials before connecting it to real data.

Signals

GitHub stars	1
npm weekly downloads	-
Last push	6d ago
Licence	Apache-2.0
Open issues	0
SECURITY.md	Yes
Language	Python
Latest version published	2026-05-18

Signals captured from GitHub, npm and the official MCP Registry on October 15, 2026. See the scoring method.