How do I install verso?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

How is the trust score calculated?

This listing scores 45 (Fair). The formula is published on the methodology page.

MCPpedia

verso MCP Server — Install for Claude, Cursor & VS Code | MCPpedia

verso MCP Server

Name: verso MCP Server
Author: nvlang

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

Tools Versions Alternatives

Registrynvlang

45Fair

Install

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

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

Install guide

Related servers

Codebase Memory

77Good

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

Registrydeusdata46.7K stars

Astria

71Good

Turn any codebase into a queryable knowledge graph — offline-first, zero API keys.

verso MCP Server

Install

Related servers

Codebase Memory

Astria

Environment

Tools

About

FAQ

Reviews

doc-scraper

Elfsight AI Chatbot

AndroJack MCP

twitterapi-io-mcp