verso

MCP ServerMCP Registry官方收录

io.github.nvlang/verso · v0.4.2

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

源仓库 ↗

概览

verso 是一个MCP Server，收录自官方 MCP Registry。支持 stdio 传输。本页提供 Cursor、Claude Code 等客户端的安装配置片段。

安装

选择你的平台查看安装方式

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

环境变量

VERSO_MCP_SITES可选

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

统一 Manifest

{
  "id": "io.github.nvlang/verso",
  "type": "mcp-server",
  "version": "0.4.2",
  "displayName": "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"
  },
  "distribution": {
    "packages": [
      {
        "registryType": "pypi",
        "identifier": "verso-mcp",
        "version": "0.4.2",
        "transport": "stdio",
        "environmentVariables": [
          {
            "name": "VERSO_MCP_SITES",
            "description": "Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset."
          }
        ]
      }
    ],
    "remotes": []
  },
  "dependencies": [],
  "installTargets": [
    "claude-code",
    "claude-desktop",
    "cursor",
    "vscode"
  ],
  "keywords": [],
  "provenance": {
    "origin": "official-mcp-registry",
    "originalId": "io.github.nvlang/verso",
    "originalUrl": "https://registry.modelcontextprotocol.io/v0.1/servers/io.github.nvlang%2Fverso/versions/latest",
    "isOfficial": true,
    "status": "active"
  }
}

verso

概览

安装

环境变量

相关资源

RFP.ai

xenarch-mcp

api

agent-lsp

hostinger-api-mcp

Unterm

统一 Manifest