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
| Registry | Paket | Version | Transport |
|---|---|---|---|
| PyPILaufzeitumgebung: uvx | lu-mcp-server | 0.1.1 | stdio |
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
| Server | Ausführung |
|---|---|
| Linear BootstrapBootstrap Linear projects from natural language - milestones, epics, issues, and dependencies. | Lokal · stdio |
| LineupTurn one sentence into an event pack: event card, identity badges, QR codes, and.ics. | Remote · HTTP und SSELive-Prüfung: ✓ Handshake |
| Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Lingshu SolverDeterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified. | Remote und lokal · HTTP und stdioLive-Prüfung: ✓ Handshake |
| Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Link FollowabilityCheck if a link on a live page is followable: rel tokens, meta robots and X-Robots-Tag. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Link Preview APIPay-per-call Open Graph/link preview metadata for AI agents. $0.01 USDC per call, no signup. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Link Shortener MCPShorten and expand URLs with the is.gd public service. No key required. | Lokal · stdio |