Altro · Server MCP locale

Lingua Universale MCP Server

Verify AI agent communication with session types and formal proofs.

Cosa indica il MCP Registry

La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.

Nome nel registro
io.github.rafapra3008/lu-mcp-server
Versione
0.1.1
Stato
Attivo
Categoria
altro
Trasporto
stdio (processo locale)
Pacchetto
PyPI
Pubblicato
15 marzo 2026
Aggiornato
15 marzo 2026
Editore
rafapra3008 (GitHub)
Namespace
Namespace verificato dal MCP Registry tramite GitHub (github.com/rafapra3008) · come funziona
Repository
github.com/rafapra3008/cervellaswarm.git
Fonte
Voce nell’API del registro

Pacchetti

RegistroPacchettoVersioneTrasportoVariabili d’ambiente
PyPIruntime: uvxlu-mcp-server0.1.1stdioNessuna dichiarata

Come collegare Lingua Universale MCP Server

Lingua Universale MCP Server viene eseguito in locale a partire da un pacchetto Python pubblicato su PyPI: lu-mcp-server, versione 0.1.1. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Python; i client in genere lo avviano con uvx (di uv) o dopo pip install - il comando abituale è uvx lu-mcp-server.

Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):

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

Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server

Altri server della categoria altro

Tutti e 8395 →
ServerEsecuzioneEndpoint o pacchetto
Linear BootstrapBootstrap Linear projects from natural language - milestones, epics, issues, and dependencies.Locale · stdionpm: @toolwright-adk/linear-bootstrap
LineupTurn one sentence into an event pack: event card, identity badges, QR codes, and.ics.Remoto · HTTP e SSEVerifica live: ✓ handshakelineup-bf157e35.alpic.live
Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking.Remoto · HTTPVerifica live: ✓ handshakelingoris.fr
Lingshu SolverDeterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.Remoto e locale · HTTP e stdioVerifica live: ✓ handshakehongchenlingjing.com
Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page.Remoto · HTTPVerifica live: ✓ handshakemcp.apify.com
Link FollowabilityCheck if a link on a live page is followable: rel tokens, meta robots and X-Robots-Tag.Remoto · HTTPVerifica live: ✓ handshakehandsofflinks-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 · HTTPVerifica live: ✓ handshakelink-preview-api-z4nf.onrender.com
Link Shortener MCPShorten and expand URLs with the is.gd public service. No key required.Locale · stdionpm: link-shortener-mcp