io.github.nvlang/verso MCP Server

io.github.nvlang/verso

Repository Registry

What is the io.github.nvlang/verso MCP server?

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

How to install io.github.nvlang/verso

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Environment / auth

VERSO_MCP_SITES
Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset.

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "verso": {
      "command": "uvx",
      "args": [
        "verso-mcp"
      ],
      "env": {
        "VERSO_MCP_SITES": "<YOUR_VERSO_MCP_SITES>"
      }
    }
  }
}

Related MCP servers

SmartTokenGuard

Active

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

Python

MIT

View repository →

THOR

Active

Local memory for coding agents. A rule with a runnable proof can refuse a wrong command.

Rust

GPL-3.0

View repository →

Forge Orchestrator

Active

Orchestrate Claude Code, Codex, and Gemini on shared repos with file locking and multi-tool coordination.

156

Rust

View repository →

Mukoko News

Maintained

Pan-African news & analytics for Zimbabwe and 15 African countries: briefings and trends.

TypeScript

View repository →

io.github.nyuchi/mzizi-mcp

Read-only MCP over the Mzizi design system registry — nodes, components, ownership.

View repository →

io.github.nyuchi/nyuchi-docs

Active

Search, read, and ask the Nyuchi docs (docs.nyuchi.com); send feedback or raise issues.

MDX

View repository →