Autres · Serveur MCP local

Lingua Universale MCP Server

Verify AI agent communication with session types and formal proofs.

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.rafapra3008/lu-mcp-server
Version
0.1.1
Statut
Actif
Catégorie
autres
Transport
stdio (processus local)
Paquet
PyPI
Publié
15 mars 2026
Mis à jour
15 mars 2026
Éditeur
rafapra3008 (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/rafapra3008) · comment
Dépôt
github.com/rafapra3008/cervellaswarm.git
Source
Entrée dans l’API du registre

Paquets

RegistrePaquetVersionTransportVariables d’environnement
PyPIenvironnement d’exécution : uvxlu-mcp-server0.1.1stdioAucune déclarée

Comment connecter Lingua Universale MCP Server

Lingua Universale MCP Server s’exécute en local depuis un paquet Python publié sur PyPI : lu-mcp-server, version 0.1.1. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Python ; les clients le lancent généralement avec uvx (fourni par uv) ou après pip install - la commande habituelle est uvx lu-mcp-server.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

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

Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Autres serveurs : autres

Voir les 8 395 →
ServeurExécutionPoint de terminaison ou paquet
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.Distant · HTTP et SSEVérification en direct : ✓ poignée de mainlineup-bf157e35.alpic.live
Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking.Distant · HTTPVérification en direct : ✓ poignée de mainlingoris.fr
Lingshu SolverDeterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.Distant et local · HTTP et stdioVérification en direct : ✓ poignée de mainhongchenlingjing.com
Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page.Distant · HTTPVérification en direct : ✓ poignée de mainmcp.apify.com
Link FollowabilityCheck if a link on a live page is followable: rel tokens, meta robots and X-Robots-Tag.Distant · HTTPVérification en direct : ✓ poignée de mainhandsofflinks-mcp.lipmichal.workers.dev
Link Preview APIPay-per-call Open Graph/link preview metadata for AI agents. $0.01 USDC per call, no signup.Distant · HTTPVérification en direct : ✓ poignée de mainlink-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