io.github.nvlang/verso
stdiouvx
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Details
- Publisher
- io.github.nvlang
- Canonical name
- io.github.nvlang/verso
- Transports
- stdio
- Runtime
- uvx
- Auth model
- none
- Status
- active
Packages
- verso-mcppypiv0.4.2