Sonstige · Lokaler MCP-Server

Lingua Universale MCP Server

Verify AI agent communication with session types and formal proofs.

Was die MCP Registry angibt

Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.

Registry-Name
io.github.rafapra3008/lu-mcp-server
Version
0.1.1
Status
Aktiv
Kategorie
Sonstige
Transport
stdio (lokaler Prozess)
Paket
PyPI
Veröffentlicht
15. März 2026
Aktualisiert
15. März 2026
Herausgeber
rafapra3008 (GitHub)
Namensraum
Namensraum von der MCP Registry über GitHub verifiziert (github.com/rafapra3008) · So wird verifiziert
Repository
github.com/rafapra3008/cervellaswarm.git
Quelle
Eintrag in der Registry-API

Pakete

RegistryPaketVersionTransportUmgebungsvariablen
PyPILaufzeitumgebung: uvxlu-mcp-server0.1.1stdioKeine deklariert

So verbinden Sie Lingua Universale MCP Server

Lingua Universale MCP Server wird lokal ausgeführt, und zwar aus einem auf PyPI veröffentlichten Python-Paket: lu-mcp-server, Version 0.1.1. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird Python; Clients starten das Paket meist mit uvx (aus uv) oder nach pip install - der übliche Befehl lautet uvx lu-mcp-server.

Im JSON-Format mcpServers, das viele MCP-Clients für Desktop und Editor lesen, sieht der Eintrag so aus (Platzhalter in spitzen Klammern):

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

Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden

Weitere Server der Kategorie Sonstige

Alle 8.395 →
ServerAusführungEndpunkt oder Paket
Linear BootstrapBootstrap Linear projects from natural language - milestones, epics, issues, and dependencies.Lokal · stdionpm: @toolwright-adk/linear-bootstrap
LineupTurn one sentence into an event pack: event card, identity badges, QR codes, and.ics.Remote · HTTP und SSELive-Prüfung: ✓ Handshakelineup-bf157e35.alpic.live
Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking.Remote · HTTPLive-Prüfung: ✓ Handshakelingoris.fr
Lingshu SolverDeterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.Remote und lokal · HTTP und stdioLive-Prüfung: ✓ Handshakehongchenlingjing.com
Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page.Remote · HTTPLive-Prüfung: ✓ Handshakemcp.apify.com
Link FollowabilityCheck if a link on a live page is followable: rel tokens, meta robots and X-Robots-Tag.Remote · HTTPLive-Prüfung: ✓ 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.Remote · HTTPLive-Prüfung: ✓ Handshakelink-preview-api-z4nf.onrender.com
Link Shortener MCPShorten and expand URLs with the is.gd public service. No key required.Lokal · stdionpm: link-shortener-mcp