listed
io.github.nvlang/verso
io.github.nvlang · io.github.nvlang
MCP
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
MCP
local
pypi verso-mcp
ATTRIBUTION
- mcp · last seen 2026-09-24T02:53:52.3387Z · fetched 2026-09-24T02:53:52.3387Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.