Otros · Servidor MCP local

Verso

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

Lo que indica el MCP Registry

La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.

Nombre en el registro
io.github.nvlang/verso
Versión
0.4.2
Estado
Activo
Categoría
otros
Transporte
stdio (proceso local)
Paquete
PyPI
Publicado
18 de mayo de 2026
Actualizado
18 de mayo de 2026
Editor
nvlang (GitHub)
Espacio de nombres
Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/nvlang) · cómo
Repositorio
github.com/nvlang/verso-mcp
Fuente
Entrada en la API del registro

Paquetes

RegistroPaqueteVersiónTransporteVariables de entorno
PyPIverso-mcp0.4.2stdioVERSO_MCP_SITES

Cómo conectar Verso

Verso se ejecuta en local a partir de un paquete de Python publicado en PyPI: verso-mcp, versión 0.4.2. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita Python; los clientes suelen iniciarlo con uvx (de uv) o tras pip install - el comando habitual es uvx verso-mcp. Lee la variable de entorno VERSO_MCP_SITES; hay que definirla en la configuración del cliente para este servidor.

En el formato JSON mcpServers que leen muchos clientes MCP de escritorio y de editores de código, la entrada tiene este aspecto (marcadores de posición entre corchetes angulares):

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

Obtenido de la entrada del registro, sin probar aquí. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar

Más servidores de otros

Ver los 8395 →
ServidorEjecuciónEndpoint o paquete
Verity MCPFail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402.Local · stdioPyPI: verity-mcp
VerixID VerifierVerify VerixID proof-of-existence records and optionally prove ownership.Remoto · HTTPComprobación en directo: ✓ negociación inicialmcp.verixid.com
VermarcoMarketplace and payment rail for AI agents: list, buy and settle with signed receipts.Remoto · HTTPComprobación en directo: ✓ negociación inicialvermarco.com
Version PillProduct management, public changelog, and feature requests - 60 lean MCP tools.Remoto · HTTP y SSEComprobación en directo: requiere inicio de sesiónmcp.versionpill.com
VersusbriefPitch reviews for agencies: a prospect against its local rivals, 90-day plan, draft ads. Read-only.Remoto · HTTPComprobación en directo: requiere inicio de sesiónversusbrief.com
Vertaaux MCPAutonomous UX and a11y audit, fix, and verify loop. 38 tools, framework-aware patches.Local · stdionpm: @vertaaux/mcp-server
Vertical FlowsView client requests, prepare actions and approve work within your firm's permissions.Remoto · HTTPComprobación en directo: requiere inicio de sesiónverticalflows.com
Vest MCPEarn up to 20% cashback on 200+ AI tool subscriptions. Browse, build stacks, get tracked links.Remoto · HTTPComprobación en directo: ✓ negociación inicialmcp.getvest.ai