Overig · Lokale MCP-server
Lingua Universale MCP Server
Verify AI agent communication with session types and formal proofs.
Wat de MCP Registry vermeldt
De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.
- Registernaam
io.github.rafapra3008/lu-mcp-server- Versie
- 0.1.1
- Status
- Actief
- Categorie
- overig
- Transport
- stdio (lokaal proces)
- Pakket
- PyPI
- Gepubliceerd
- 15 maart 2026
- Bijgewerkt
- 15 maart 2026
- Uitgever
- rafapra3008 (GitHub)
- Namespace
- Namespace door de MCP Registry geverifieerd via GitHub (github.com/rafapra3008) · hoe
- Repository
- github.com/rafapra3008/cervellaswarm.git
- Bron
- Vermelding in de register-API
Pakketten
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| PyPIruntime: uvx | lu-mcp-server | 0.1.1 | stdio |
Zo verbind je Lingua Universale MCP Server
Lingua Universale MCP Server draait lokaal vanuit een Python-pakket dat op PyPI is gepubliceerd: lu-mcp-server, versie 0.1.1. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Python; clients starten het meestal met uvx (uit uv) of na pip install - het gebruikelijke commando is uvx lu-mcp-server.
In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):
{
"mcpServers": {
"lu-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt
Meer servers in de categorie overig
| Server | Draait |
|---|---|
| Linear BootstrapBootstrap Linear projects from natural language - milestones, epics, issues, and dependencies. | Lokaal · stdio |
| LineupTurn one sentence into an event pack: event card, identity badges, QR codes, and.ics. | Extern · HTTP en SSELivecontrole: ✓ handshake |
| Lingoris - traduction assermentéeSworn (certified) translation in France: instant firm price, 100+ languages, order tracking. | Extern · HTTPLivecontrole: ✓ handshake |
| Lingshu SolverDeterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified. | Extern en lokaal · HTTP en stdioLivecontrole: ✓ handshake |
| Link Extractor for AI AgentsX402 structured link extraction for agents. $0.0005 per successfully processed page. | Extern · HTTPLivecontrole: ✓ handshake |
| Link FollowabilityCheck if a link on a live page is followable: rel tokens, meta robots and X-Robots-Tag. | Extern · HTTPLivecontrole: ✓ handshake |
| Link Preview APIPay-per-call Open Graph/link preview metadata for AI agents. $0.01 USDC per call, no signup. | Extern · HTTPLivecontrole: ✓ handshake |
| Link Shortener MCPShorten and expand URLs with the is.gd public service. No key required. | Lokaal · stdio |