MCP servers
verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
verso-mcp · pypi 0.4.2 · stdio
claude mcp add --transport stdio verso -- uvx verso-mcp==0.4.2Server details
- Registry name
- io.github.nvlang/verso
- Version
- 0.4.2
- Registry status
- active
- Repository
