MCP MCP server · io.github.nvlang
io.github.nvlang/verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
- host stars
- 1
- 30-day movement
- starts with the next reading
- Related entries
- 62
- Connections
- 4
pypilocalstdio
- Runs
- installed — on your machine
- Transport
- stdio
- Tools
- 4
- Packaged as
- pypi:verso-mcp
- Install
- uvx verso-mcp
- Needs
- 1 environment variable
- Version
- 0.4.2
- Last release
- 2026-05-18