Server record / io.github.nvlang/verso
verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Runnable packages
pypiverso-mcp
0.4.2stdioTool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.