Lingua Universale MCP Server runs on your own machine — the client starts it, so there is no endpoint to ping. 100 installs a week from pypi. Last commit 18 Aug 2026.
Verify AI agent communication with session types and formal proofs
We read the source, 3 d ago · rules 995398eba69f
Found in continuous integration, deployment or infrastructure files, or in a neighbouring package of the same monorepo. None of this is installed when you add the server: it describes how the project is built and released. We list it because a leaked key in a build pipeline is still a real problem, but it is not something this server does on your machine.
result = subprocess.run(
exec(code, mod.__dict__) # noqa: S102 # nosec B102
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.
Today is the operative word: we check Lingua Universale MCP Server every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.
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 mcp add lu-mcp-server -- uvx lu-mcp-server
{
"mcpServers": {
"lu-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}
[mcp_servers.lu-mcp-server]
command = "uvx"
args = ["lu-mcp-server"]
{
"mcpServers": {
"lu-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}
{
"servers": {
"lu-mcp-server": {
"type": "stdio",
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}
Universal trust attestation for AI agents: create, verify, and negotiate Shuka trust proofs.
GodPrompt MCP + Agent Skill for coding agents with TDD, debugging, verification, and task routing.
Quality verification for AI agents and MCP servers. 6-axis scoring, adversarial probes.
Quality verification for AI agents and MCP servers. 6-axis scoring, adversarial probes.
MCP server for agent task workflows with phases, prompts, gates, and multi-agent coordination
Local-first persistent memory for AI agents, with reasoning and formal verification.
MCP server for browser automation with AI agent
MCP server for Thoth with multi-platform AI content generation
Answers built from our own checks of this server.