Lingua Universale MCP Server: Install & Setup

Install Lingua Universale in Claude Code

Claude Code

claude mcp add lingua-universale -- uvx lu-mcp-server

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

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

Verify AI agent communication with session types and formal proofs

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

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

trycua/cua

MCP server for the Computer-Use Agent (CUA), allowing you to run CUA through Claude Desktop or other MCP clients.

oraios/serena

Coding agent that uses language servers for symbolic code operations.

mastra-ai/mastra

Client implementation for Mastra, providing seamless integration with MCP-compatible AI models and tools.

wonderwhy-er/DesktopCommanderMCP

Manage and execute programs, and read, write, search and edit code and text files.

Q00/ouroboros

Local agent OS for spec-first AI coding: a replayable, ledger-recorded interview, seed, execute, evaluate and evolve loop that MCP clients can drive.

lingodotdev/lingo.dev

Make your AI agent speak every language on the planet, using Lingo.dev Localization Engine.