MCPLow riskUnclaimed

verso

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

nvlangnvlang/verso★ 1Updated May 18, 2026

server.json

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.nvlang/verso",
  "description": "MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).",
  "repository": {
    "url": "https://github.com/nvlang/verso-mcp",
    "source": "github"
  },
  "version": "0.4.2",
  "packages": [
    {
      "registryType": "pypi",
      "identifier": "verso-mcp",
      "version": "0.4.2",
      "transport": {
        "type": "stdio"
      },
      "environmentVariables": [
        {
          "description": "Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset.",
          "name": "VERSO_MCP_SITES"
        }
      ]
    }
  ]
}

Permissions

DeclaredDetected
Runs code—python
Installs—pypi:verso-mcp@0.4.2
Runs install scripts—None
NetworkNoneNone
Needs credentialsNoneNone
Outside the workspace—None
Agent tools—None

Checks

Low risk · Nothing worth a warning was found.

Not reviewed by a person · Checked by rules; the model review is not switched on yet.

Versions

  1. #10.4.2latestOct 7, 2026