io.github.nvlang/verso

io.github.nvlang/verso

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

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

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

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.4.2
Registry
active
Published
5/18/2026

More Developer Tools servers

Browse all Developer Tools →

SmartTokenGuard

nwjnjjj

Stop burning credits on broken AI video: check every render before you pay for the next one.

Developer ToolsAdded 1 month ago

THOR

nworks3d

Local memory for coding agents; a rule with a proof can refuse. Full install with hooks: the repo.

Developer ToolsAdded 1 week ago

Faultline

nxtg-ai

Checks the most important factual claims in AI output against live web sources by default.

Developer ToolsAdded 4 days ago

Forge Orchestrator

nxtg-ai

Forge orchestrator MCP server for Claude Code (alpha). Codex/Gemini runners are not in the alpha.

Developer ToolsAdded 5 days ago

CGraph

Nxtsoft

Code graph for coding agents: symbol search, callers, blast radius and cross-service impact.

Developer ToolsAdded 2 weeks ago

Nyan Parlor: Tarot, I Ching & BaZi

nyan-parlor

Real random tarot draws, card meanings, I Ching casting, BaZi charts and Chinese zodiac (EN/JA).

Developer ToolsAdded 1 week ago

Add the badge to your site

Show visitors that io.github.nvlang/verso is listed here — it’s also the link we check for a free listing.

io.github.nvlang/verso — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-nvlang-verso?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="io.github.nvlang/verso — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![io.github.nvlang/verso — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-nvlang-verso?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.