Lingua Universale MCP Server

by rafapra3008 Your server? Claim it

local only

Lingua Universale MCP Server runs on your own machine — the client starts it, so there is no endpoint to ping. 69 installs a week from pypi. Last commit 18 Aug 2026.

Verify AI agent communication with session types and formal proofs

Installs per day peak 29 · avg 11 · -22% w/w

a month agotoday

Installs / week

pypi · lu-mcp-server

Stars

0 open issues

18 Aug 2026

Last commit

0 releases in 90 days

Apache-2.0

License

Python

What the code does

We read the source, 20 h ago · rules 3dff92dd89df

Capabilities

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

File ships in the package but is absent from the source [пакет] lu_mcp_server.py:1

этот файл ставится пользователю, но в репозитории его нет

Runs an external command packages/lingua-universale/src/cervellaswarm_lingua_universale/_doctor.py:54, packages/agent-hooks/src/cervellaswarm_agent_hooks/session_checkpoint.py:38, packages/lingua-universale/src/cervellaswarm_lingua_universale/lean4_bridge.py:462 и ещё 1

        result = subprocess.run(

Executes code built at runtime packages/lingua-universale/src/cervellaswarm_lingua_universale/_interop.py:295, packages/lingua-universale/src/cervellaswarm_lingua_universale/_repl.py:209

        exec(code, mod.__dict__)  # noqa: S102  # nosec B102

Runs with shell=True packages/spawn-workers/src/cervellaswarm_spawn_workers/backend.py:129

            shell=True,  # nosec: command is built internally by spawner with shlex.quote

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

This code can reach further than it looks

We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

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

~/Library/Application Support/Claude/claude_desktop_config.json

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

~/.codex/config.toml

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

.cursor/mcp.json

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

.vscode/mcp.json

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

Alternatives to Lingua Universale MCP Server

same job, measured the same way

Shuka

by cdonoyan

Universal trust attestation for AI agents. Create, verify, and negotiate trust proofs.

26 installs/wk local only

AgentTrust

by vitaliiserbynassisterr

Quality verification for AI agents and MCP servers. 6-axis scoring, adversarial probes.

96 installs/wk local only

AgentTrust

by assister-xyz

Quality verification for AI agents and MCP servers. 6-axis scoring, adversarial probes.

local only

Task Graph MCP

by oortonaut

MCP server for agent task workflows with phases, prompts, gates, and multi-agent coordination

local only

Browser Agent

by runbook-ai

MCP server for browser automation with AI agent

62 installs/wk local only

Thoth MCP

by zeiq-co

MCP server for Thoth with multi-platform AI content generation

52 installs/wk local only

Selenium MCP

by gaforov

Selenium MCP server for AI agents — 41 browser automation tools with snapshots and sessions.

276 installs/wk local only

air-Q

by corantgmbh

MCP server for direct HTTP communication with air-Q air quality sensor devices

386 installs/wk local only

Lingua Universale MCP Server — questions

Answers built from our own checks of this server.

Why is there no uptime for Lingua Universale MCP Server?

Lingua Universale MCP Server runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the pypi package lu-mcp-server was installed 69 times last week.

How do I connect Lingua Universale MCP Server?

Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It runs locally, so the command pulls lu-mcp-server straight from pypi; nothing to host, nothing to sign up for.

How many people use Lingua Universale MCP Server?

The pypi package lu-mcp-server was installed 69 times in the last week. Week over week that is -22%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.

Is Lingua Universale MCP Server open source?

Yes — it is published under the Apache-2.0 licence, written in Python and 10 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.