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

RegistroPaqueteVersiónTransporteVariables de entorno
PyPIentorno de ejecución: uvxlu-mcp-server0.1.1stdioSin declarar

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

Ver los 8395 →
ServidorEjecuciónEndpoint o paquete
Linear BootstrapBootstrap Linear projects from natural language - milestones, epics, issues, and dependencies.Local · stdionpm: @toolwright-adk/linear-bootstrap
LineupTurn one sentence into an event pack: event card, identity badges, QR codes, and.ics.Remoto · HTTP y SSEComprobación en directo: ✓ negociación iniciallineup-bf157e35.alpic.live
Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking.Remoto · HTTPComprobación en directo: ✓ negociación iniciallingoris.fr
Lingshu SolverDeterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.Remoto y local · HTTP y stdioComprobación en directo: ✓ negociación inicialhongchenlingjing.com
Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page.Remoto · HTTPComprobación en directo: ✓ negociación inicialmcp.apify.com
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 inicialhandsofflinks-mcp.lipmichal.workers.dev
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 iniciallink-preview-api-z4nf.onrender.com
Link Shortener MCPShorten and expand URLs with the is.gd public service. No key required.Local · stdionpm: link-shortener-mcp