MCP server

Verso

io.github.nvlang/verso

Checked 25 Oct 2026, 21:11 UTC · Still published on its registry; checked against OSV.dev; never run by us

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

Runs on your computer

Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 25 Oct 2026, 21:11 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add verso -- uvx verso-mcp@0.4.2

Claude Desktop

{"mcpServers":{"verso":{"command":"uvx","args":["verso-mcp@0.4.2"]}}}

Codex (config.toml)

[mcp_servers.verso]
command = "uvx"
args = ["verso-mcp@0.4.2"]

Gemini CLI

{"mcpServers":{"verso":{"command":"uvx","args":["verso-mcp@0.4.2"]}}}

Cursor

{"mcpServers":{"verso":{"command":"uvx","args":["verso-mcp@0.4.2"]}}}

VS Code

{"servers":{"verso":{"type":"stdio","command":"uvx","args":["verso-mcp@0.4.2"]}}}

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

ADITUS Developer Portal MCP
Read-only docs for the ADITUS event-technology APIs (ticketing, access, BI) and Shop Micro Frontend.
Arne Kellmann Consulting
Read consulting services and search public architecture consulting documents in English or German.
AIdata site search
Read-only search over the aidata.stream documentation, blog, changelog, pricing and FAQ.
Lithuanian Data Portal documentation
Search and read the Lithuanian Data Portal user guide and Data API docs, in Lithuanian and English
AgentReady
Query any docs site via MCP. Submit a URL, ask questions, get cited answers.
DeepPVMapper
Open registry of 1.14M+ rooftop-solar detections across France, queryable by natural language.
Avizo
Avizo (RO SME compliance-deadline SaaS) as MCP tools: about, plans, categories, docs. Read-only.
SiteGPT Docs
Search the SiteGPT documentation: setup, features, API reference, troubleshooting.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.nvlang/verso.svg)](https://aptlynx.net/servers/io.github.nvlang/verso)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents