io.github.nvlang
verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
stdiocommunityknowledge
Package Details
verso-mcp
Transportstdio
Environment Variables
VERSO_MCP_SITES
Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset.