MCP Server
verso
io.github.nvlang/verso
What this MCP does
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.