MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
To add verso to Claude, run the install command below or copy the ready-made config for Claude Code, Claude Desktop, Cursor and VS Code further down. Restart your client after adding it and its tools show up in your next conversation. It declares one environment variable, listed below.
Install
uvx verso-mcp@0.4.2Environment variables
VERSO_MCP_SITESSet in your MCP configSet only if the maker requires them; this listing does not flag any of them as required.
Install with your client
claude mcp add verso --env VERSO_MCP_SITES=<YOUR_VERSO_MCP_SITES> -- uvx verso-mcp@0.4.2
Run this in a terminal to add the server to Claude Code.
What this does
verso exposes a set of tools to Claude over the Model Context Protocol. After you add it to claude_desktop_config.json (snippet above) and restart Claude Desktop, those tools become callable inside any conversation.
Requirements
This server declares the following environment variables. Set only the ones the maker requires for your setup; this listing does not flag any of them as required:
VERSO_MCP_SITES
Set these via the env object in your MCP config (see claude_desktop_config.json snippet above).
Frequently asked questions
How do I install verso?
Run the Claude Code command in the install section to add verso to Claude Code, or copy the ready-made config for your client from the install section on this page. Restart your client afterwards and the tools appear in your next conversation.
Which clients work with verso?
This page carries setup and config for Claude Code, Claude Desktop, Cursor and VS Code. Any other MCP client that accepts a standard server config can connect to verso as well.
Does verso need an API key?
This listing does not flag an API key as required. The server can use this environment variable: VERSO_MCP_SITES; the maker's docs say which of them your setup needs. They go in the env block of your MCP config.
Imported from the Official MCP Registry. The details above come from the registry entry; the maker can claim this listing to correct them, add docs, and see its traffic.
Is this your MCP server?
Claim this listing to see its traffic, fix details yourself, and skip the review queue on future updates.
Add this badge to your README
Show visitors this server is listed in the ClaudeRules directory. The badge links straight to this listing.
[](https://clauderules.net/mcp/io-github-nvlang-verso)<a href="https://clauderules.net/mcp/io-github-nvlang-verso" target="_blank" rel="noopener noreferrer"><img src="https://clauderules.net/api/badge/io-github-nvlang-verso" alt="Listed on clauderules.net" /></a>More Files MCP servers
GitHub
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
eyaltoledano/claude-task-master
📇 ☁️ 🏠 - AI-powered task management system for AI-driven development. Features PRD parsing, task expansion, multi-provider support (Claude, OpenAI, Gemini, Perplexity, xAI), and selective tool loadi
Serena MCP: the IDE for your agent
A powerful toolkit for coding, providing semantic retrieval and editing capabilities.
Figma-Context-MCP
Give your coding agent access to your Figma data. Implement designs in any framework in one-shot.