Lingua Universale MCP Server

local MCP server

Installation

Terminal

claude mcp add lu-mcp-server -- uvx lu-mcp-server

Run in your project folder. Add --scope user to use it everywhere.

Add to claude_desktop_config.json or .cursor/mcp.json.

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

Verify AI agent communication with session types and formal proofs

Lingua Universale MCP Server is a local MCP server distributed as the pypi package lu-mcp-server.

Run: claude mcp add lu-mcp-server -- uvx lu-mcp-server

Run: codex mcp add lu-mcp-server -- uvx lu-mcp-server

NameStars