How do I install Verso?

Verso is a local plugin. Install it using PyPI package: verso-mcp and add the generated configuration snippet to your AI app's MCP config file. Then restart your AI app.

What credentials does Verso need?

Verso requires the following credentials or environment variables: VERSO_MCP_SITES. You can find setup instructions on the server detail page.

What AI apps work with Verso?

Verso uses the Model Context Protocol (MCP) and works with any MCP-compatible AI app, including Claude, ChatGPT / Codex, Gemini, Copilot, Cursor, and more.

Back to Browse

Verso MCP Server

by Nvlang

Developer ToolsLow Risk10.0MCP RegistryLocal

Free

Server data from the Official MCP Registry

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

About

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

Security Report

10.0

Low Risk10.0Low Risk

Valid MCP server (1 strong, 3 medium validity signals). No known CVEs in dependencies. Package registry verified. Imported from the Official MCP Registry.

3 files analyzed · 1 issue found

Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.

Permissions Required

This plugin requests these system permissions. Most are normal for its category.

file_system

Check that this permission is expected for this type of plugin.

HTTP Network Access

Connects to external APIs or services over the internet.

env_vars

Check that this permission is expected for this type of plugin.

What You'll Need

Set these up before or after installing:

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

Environment variable: VERSO_MCP_SITES

How to Install

Add this to your MCP configuration file:

{
  "mcpServers": {
    "io-github-nvlang-verso": {
      "env": {
        "VERSO_MCP_SITES": "your-verso-mcp-sites-here"
      },
      "args": [
        "verso-mcp"
      ],
      "command": "uvx"
    }
  }
}

Reviews

No reviews yet

Be the first to review this server!

More Developer Tools MCP Servers

Fetch

Free

by Modelcontextprotocol · Developer Tools

Web content fetching and conversion for efficient LLM usage

Git

Free

by Modelcontextprotocol · Developer Tools

Read, search, and manipulate Git repositories programmatically

Toleno

Free

by Toleno · Developer Tools

Toleno Network MCP Server — Manage your Toleno mining account with Claude AI using natural language.

Verso MCP Server

About

Security Report

Findings (1)

Permissions Required

What You'll Need

How to Install

Reviews

No reviews yet

More Developer Tools MCP Servers

Fetch

Git

Toleno

mcp-creator-python

MarkItDown

mcp-creator-typescript