MCP server

Lingua Universale MCP Server

io.github.rafapra3008/lu-mcp-server

Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us

Verify AI agent communication with session types and formal proofs

Runs on your computer

Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 26 Oct 2026, 08:31 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add lu-mcp-server -- uvx lu-mcp-server@0.1.1

Claude Desktop

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

Codex (config.toml)

[mcp_servers.lu-mcp-server]
command = "uvx"
args = ["lu-mcp-server@0.1.1"]

Gemini CLI

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

Cursor

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

VS Code

{"servers":{"lu-mcp-server":{"type":"stdio","command":"uvx","args":["lu-mcp-server@0.1.1"]}}}

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

MARS Economic
Supplier sourcing, procurement, commercial intelligence, RFQ routing and B2B deal coordination.
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Proof of Type Input
Add a text box that proves a human typed it, not AI. Code for any framework; verify proof tokens.
Studocu
Find Studocu study documents, courses and institutions, and manage study projects and quizzes.
Proof Holdings
One API, all things verified — control, delegation, human approval, anti-impersonation.
Smartpress
Configure, price, proof and add custom print products to a Smartpress cart. US printing, no login.
handoff — agent swarm coordination
Agent swarm coordination: find funded work, form teams, run tasks, message E2E, get paid on verify.
ALCBar AI Practice Risk Check
Free 12-question check of how safely a U.S. law firm uses generative AI, scored out of 100.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.rafapra3008/lu-mcp-server.svg)](https://aptlynx.net/servers/io.github.rafapra3008/lu-mcp-server)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents