nvlang/verso

latest · 0.4.2

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

GitHub: nvlang/verso-mcp
MCP registry: io.github.nvlang/verso

Install

claude mcp add io-github-nvlang-verso -- uvx verso-mcp

/mcp confirms it's connected.

Install

Or add it manually in ~/.cursor/mcp.json:

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

In claude_desktop_config.json (Settings → Developer → Edit Config), then restart:

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

Config entry, any MCP client:

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

Community score

Community35/ 100

from web signals · no reviews yet (community v3)

Web signals (ecosystem baseline)35/100 · 100% of the weight

Used it? Rate v0.4.2

No reviews yet — be the first.

What the web says

Ecosystem baseline35/ 100

Objective public usage & activity (formula v3) — the community score's web-signals input, and its own sort.

GitHubsource ↗

GitHub stars · 1 month ago: ★ 1
Last commit · 2 days ago: 5 days ago
Release cadence · 2 days ago: multiple releases a day
Latest release · 2 days ago: v0.4.2
License · 2 days ago: Apache-2.0

Packages

No package-registry data collected yet.

Listed on

Glama · 8 days ago: Listed · Glama quality score 4.7 ↗

Mentions

No public discussion scraped yet.

Docs & liveness

No liveness or verification signals yet.

Version history1

0.4.2release date unknown

Badge for your README

Shows this page's community score and its sample, kept current, and links readers here to review.

[![rateme12 community score](https://api.rateme12.com/servers/953c89c6-87a6-4392-8f50-f736b1941675/badge.svg)](https://rateme12.com/servers/953c89c6-87a6-4392-8f50-f736b1941675)

Details

Transport: stdio
Status: listed
Source: Imported from the MCP registry
Repository: source ↗