Otros · Servidor MCP local
Lingua Universale MCP Server
Verify AI agent communication with session types and formal proofs.
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.rafapra3008/lu-mcp-server- Versión
- 0.1.1
- Estado
- Activo
- Categoría
- otros
- Transporte
- stdio (proceso local)
- Paquete
- PyPI
- Publicado
- 15 de marzo de 2026
- Actualizado
- 15 de marzo de 2026
- Editor
- rafapra3008 (GitHub)
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/rafapra3008) · cómo
- Repositorio
- github.com/rafapra3008/cervellaswarm.git
- Fuente
- Entrada en la API del registro
Paquetes
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| PyPIentorno de ejecución: uvx | lu-mcp-server | 0.1.1 | stdio |
Cómo conectar Lingua Universale MCP Server
Lingua Universale MCP Server se ejecuta en local a partir de un paquete de Python publicado en PyPI: lu-mcp-server, versión 0.1.1. 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 lu-mcp-server.
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": {
"lu-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}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 |
|---|---|
| Linear BootstrapBootstrap Linear projects from natural language - milestones, epics, issues, and dependencies. | Local · stdio |
| LineupTurn one sentence into an event pack: event card, identity badges, QR codes, and.ics. | Remoto · HTTP y SSEComprobación en directo: ✓ negociación inicial |
| Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Lingshu SolverDeterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified. | Remoto y local · HTTP y stdioComprobación en directo: ✓ negociación inicial |
| Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Link FollowabilityCheck if a link on a live page is followable: rel tokens, meta robots and X-Robots-Tag. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Link Preview APIPay-per-call Open Graph/link preview metadata for AI agents. $0.01 USDC per call, no signup. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Link Shortener MCPShorten and expand URLs with the is.gd public service. No key required. | Local · stdio |