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
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| PyPI | verso-mcp | 0.4.2 | stdio |
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
| Servidor | Ejecución |
|---|---|
| Verity MCPFail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402. | Local · stdio |
| VerixID VerifierVerify VerixID proof-of-existence records and optionally prove ownership. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| VermarcoMarketplace and payment rail for AI agents: list, buy and settle with signed receipts. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Version PillProduct management, public changelog, and feature requests - 60 lean MCP tools. | Remoto · HTTP y SSEComprobación en directo: requiere inicio de sesión |
| 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ón |
| Vertaaux MCPAutonomous UX and a11y audit, fix, and verify loop. 38 tools, framework-aware patches. | Local · stdio |
| Vertical FlowsView client requests, prepare actions and approve work within your firm's permissions. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| Vest MCPEarn up to 20% cashback on 200+ AI tool subscriptions. Browse, build stacks, get tracked links. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |