verso-mcp
Rank #41,891io.github.nvlang/verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
verso-mcp is a Model Context Protocol (MCP) server published by nvlang. It ranks #41,891 of 137,492 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. verso-mcp is listed across 3 registries — Official MCP, PulseMCP and Glama, with 1 tracked version. It was first listed on May 17, 2026 and most recently updated on May 18, 2026.
Ranks ahead of 95,601 of 137,492 servers on MCP Toplist.
Use verso-mcp
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add verso -e "VERSO_MCP_SITES=<your VERSO_MCP_SITES>" -- uvx verso-mcpReplace each placeholder with your own value before saving.
[mcp_servers.verso]
command = "uvx"
args = ["verso-mcp"]
[mcp_servers.verso.env]
VERSO_MCP_SITES = "<your VERSO_MCP_SITES>"Add to ~/.codex/config.toml. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
],
"env": {
"VERSO_MCP_SITES": "<your VERSO_MCP_SITES>"
}
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config). Replace each placeholder with your own value before saving.
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
],
"env": {
"VERSO_MCP_SITES": "<your VERSO_MCP_SITES>"
}
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project). Replace each placeholder with your own value before saving.
{
"servers": {
"verso": {
"type": "stdio",
"command": "uvx",
"args": [
"verso-mcp"
],
"env": {
"VERSO_MCP_SITES": "<your VERSO_MCP_SITES>"
}
}
}
}Save as .vscode/mcp.json in your workspace. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
],
"env": {
"VERSO_MCP_SITES": "<your VERSO_MCP_SITES>"
}
}
}
}Add to ~/.codeium/windsurf/mcp_config.json. Replace each placeholder with your own value before saving.
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
],
"env": {
"VERSO_MCP_SITES": "<your VERSO_MCP_SITES>"
}
}
}
}Replace each placeholder with your own value before saving.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.nvlang%2Fverso)<a href="https://mcptoplist.com/server/io.github.nvlang%2Fverso"><img src="https://mcptoplist.com/badge/io.github.nvlang%2Fverso.svg" alt="MCP Toplist: Top 50% of 137,492" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 3 registries
nvlang
Available versions (1)
| Version | Published |
|---|---|
| 0.4.2 | May 18, 2026 |
Frequently asked questions
- Who maintains verso-mcp?
- verso-mcp is maintained by nvlang, which publishes 1 MCP server (1 total version) tracked on MCP Toplist.
- Is verso-mcp listed on the Official MCP Registry?
- Yes — verso-mcp is listed on the Official MCP Registry, alongside PulseMCP and Glama.
- How many versions does verso-mcp have?
- MCP Toplist tracks 1 version of verso-mcp, most recently published on May 18, 2026.
- Where can I find the source code for verso-mcp?
- The source code for verso-mcp is hosted at github.com/nvlang/verso-mcp.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.