Developer · Local MCP server
Lingua Universale MCP Server
Verify AI agent communication with session types and formal proofs.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
io.github.rafapra3008/lu-mcp-server- Version
- 0.1.1
- Status
- Active
- Category
- developer
- Transport
- stdio (local process)
- Package
- PyPI
- Published
- 2026-03-15
- Updated
- 2026-03-15
- Publisher
- rafapra3008 (GitHub)
- Repository
- github.com/rafapra3008/cervellaswarm.git
- Source
- Registry API entry
Packages
| Registry | Package | Version | Transport |
|---|---|---|---|
| PyPIruntime: uvx | lu-mcp-server | 0.1.1 | stdio |
How to connect Lingua Universale MCP Server
Lingua Universale MCP Server runs locally from a Python package published to PyPI: lu-mcp-server version 0.1.1. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Python; clients usually start it with uvx (from uv) or after pip install — the usual command is uvx lu-mcp-server.
In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):
{
"mcpServers": {
"lu-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More developer servers
| Server | Runs |
|---|---|
| Lindo AICreate and manage Lindo AI websites, pages, blogs, clients, and credits from any MCP client. | Remote & Local · HTTP, stdio |
| Lineai MCP ServerAn MCP Server to utilize Lineai's rich software dependency data in your AI programming assistant. | Local · stdio |
| Linear ProjectScope-gated Linear project administration with optional GitHub and Obsidian evidence adapters. | Local · stdio |
| LineBreak Gate & Spec BridgeApproved acceptance criteria served over MCP to Claude Code, Cursor, or Codex. Git-only, sealed. | Local · stdio |
| Linkedin AdsMCP server for LinkedIn Campaign Manager — campaigns, creatives, and analytics. | Local · stdio |
| LinkedIn MCP ServerLinkedIn API as MCP tools to retrieve profile data and publish content. Powered by HAPI MCP. | Remote · HTTP |
| LinkedIn MCP ServerFind LinkedIn jobs and people, research companies, manage network, posts, and messages with MCP. | Local · stdio |
| LinkMCP: hosted LinkedIn MCP serverHosted LinkedIn MCP server on your own account: 33 tools for search, profiles, inbox, posts, email. | Remote · HTTP |