# verso MCP server

MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

## Links
- Registry page: https://www.getdrio.com/mcp/io-github-nvlang-verso
- Repository: https://github.com/nvlang/verso-mcp

## Install
- Command: `uvx verso-mcp`
- Auth: Not captured

## Setup notes
- Package: Pypi verso-mcp v0.4.2
- Environment variable: VERSO_MCP_SITES

## Tools
Not captured

## Resources
Not captured

## Prompts
Not captured

## Metadata
- Owner: io.github.nvlang
- Version: 0.4.2
- Runtime: Pypi
- Transports: STDIO
- License: Not captured
- Language: Not captured
- Stars: Not captured
- Updated: May 18, 2026
- Source: https://registry.modelcontextprotocol.io