io.github.nvlang/verso

io.github.nvlang/verso · v0.4.2

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

Reachability not yet probed

Registry status active

Provenance

Registry namespace io.github.nvlang (GitHub-account verified by the official registry)

Repository github.com/nvlang/verso-mcp

[![ToolPin](https://toolpin.dev/badge/io.github.nvlang/verso.svg)](https://toolpin.dev/servers/io.github.nvlang/verso)

Maintain this server? Add the badge to your README — it links your users to this live status page.