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

RegistryPackageVersionTransportEnvironment variables
PyPIruntime: uvxlu-mcp-server0.1.1stdioNone declared

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

All 6,250 →
ServerRunsEndpoint or package
Lindo AICreate and manage Lindo AI websites, pages, blogs, clients, and credits from any MCP client.Remote & Local · HTTP, stdiomcp.lindo.ai
Lineai MCP ServerAn MCP Server to utilize Lineai's rich software dependency data in your AI programming assistant.Local · stdioPyPI: lineai-mcp-server
Linear ProjectScope-gated Linear project administration with optional GitHub and Obsidian evidence adapters.Local · stdionpm: @openly-useful/linear-project-mcp-server
LineBreak Gate & Spec BridgeApproved acceptance criteria served over MCP to Claude Code, Cursor, or Codex. Git-only, sealed.Local · stdioPyPI: linebreak-gate
Linkedin AdsMCP server for LinkedIn Campaign Manager — campaigns, creatives, and analytics.Local · stdionpm: mcp-linkedin-ads
LinkedIn MCP ServerLinkedIn API as MCP tools to retrieve profile data and publish content. Powered by HAPI MCP.Remote · HTTPlinkedin.run.mcp.com.ai
LinkedIn MCP ServerFind LinkedIn jobs and people, research companies, manage network, posts, and messages with MCP.Local · stdioOCI image (Docker): ghcr.io/prakharagarwal-dev/linkedin-mcp-server:0
LinkMCP: hosted LinkedIn MCP serverHosted LinkedIn MCP server on your own account: 33 tools for search, profiles, inbox, posts, email.Remote · HTTPapp.linkmcp.io