← all MCP servers
io.github.nvlang/verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
install
pypi · stdio
uvx verso-mcp
details
- version
- 0.4.2
- license
- Apache-2.0
- stars
- 1
- last commit
- 2026-07-16
- published
- 2026-05-18
last synced 2026-07-29