Lingua Universale MCP Server

Name: Lingua Universale MCP Server
Author: rafapra3008

作者：rafapra3008版本 0.1.1i★ –i在你的电脑上运行

注册名称io.github.rafapra3008/lu-mcp-server

安装

概览

作者提供的说明（英文原文）

Verify AI agent communication with session types and formal proofs

PopNx MCP 的三大支柱

这三项永远不会合并成一个分数：意见、测量和人气是不同的东西。

用户评价i暂无评价评价功能将在后续阶段与账户功能一起开放
我们的基础检查i1 项中通过 1 项依据公开信息检查；尚未扫描代码
使用情况i尚未统计★ –

它能帮你做什么

我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。

连接方式: 在你的电脑上运行
传输方式: stdio
分类: 其他

安装

选择你使用的 AI 应用，然后复制设置。

安装之前

基础检查：1 项中通过 1 项
在你的电脑上运行，拥有你的用户账户的权限（文件、网络、应用）。
注册中心没有列出需要填写的密钥。

你需要

PyPI已安装 Python 的 uv（用于 uvx 命令）

你用的是哪个应用？

ClaudeClaude CodeCursorVS CodeChatGPT

在上方选择你的应用。我们会记住它，下次按钮会显示“安装到 …”。

打开 Claude Desktop → Settings → Developer → Edit Config，把下面的内容粘贴到 claude_desktop_config.json

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

在终端中运行这条命令

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

在 Cursor 中打开

或者自己复制设置

粘贴到项目中的 .cursor/mcp.json，或 ~/.cursor/mcp.json

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

浏览器会先询问是否打开应用，然后应用会显示设置并请你确认。密钥的值会留空，由你自己填写。

在 VS Code 中打开

或者自己复制设置

粘贴到项目中的 .vscode/mcp.json

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

浏览器会先询问是否打开应用，然后应用会显示设置并请你确认。密钥的值会留空，由你自己填写。

这个服务器在你的电脑上运行，而 ChatGPT 只能连接互联网上的服务器。请选择其他应用。

你的选择通过 Cookie 保存在这台设备上，无需账户。

这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同，请以 README 为准。

它能做什么

它在你的电脑上运行；安装后，工具列表会显示在你的 AI 应用中。

基础检查i

我们检查的是任何人都能看到的信息；我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日

✓ 通过
作者与仓库一致
注册名称已通过 GitHub 账户 rafapra3008 验证，该账户拥有此仓库
… 尚未检查
仍在维护
我们还没有从 GitHub 读取这个仓库
… 尚未检查
有许可证
我们还没有从 GitHub 读取这个仓库
– 不适用
端点有响应
它在你的电脑上运行，没有互联网端点
– 不适用
使用 OAuth 登录
在你的电脑上运行，改用本地设置
… 尚未检查
工具描述中没有隐藏指令
它在你的电脑上运行；我们只能读取互联网端点的工具列表

与“其他”中的其他服务器比较i

星标数多于此分类中其他 18336 个服务器的 0%
发布到注册中心的时间比此分类中其他 18336 个服务器的 3% 更新
基础检查结果等于或优于此分类中其他 18336 个服务器的 100%

与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时，星标数才计入。

常见问题

Lingua Universale MCP Server 安全吗？

它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前，请先看看这个服务器要求哪些权限，并使用只具备所需权限的密钥。

它需要哪些密钥或代码？

注册中心没有列出必需的密钥，不过有些服务器会在首次使用时要求你登录。

它在我的电脑上运行还是在云端？

它在你的电脑上运行。你的 AI 应用会在需要时启动它，数据不会经过作者的服务器（除非它自己调用在线服务）。

它还在维护吗？

GitHub 仓库最后更新于–，最新版本（0.1.1）于8个月前进入注册中心。

哪些应用可以使用它？

支持 MCP 的应用，例如 Claude Desktop、Claude Code、Cursor 和 VS Code。你的电脑上还需要有 Python (uv)。

有什么可以替代它？

同一分类中有：Spec Driven Development, Remote Desktop Commander, NexusWindows

替代选择

同一分类中其他作者的服务器，按星标数排序。

如何看卡片：★ GitHub 星标i三大支柱：评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i

Spec Driven Development

作者：formulahendry

MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.

在你的电脑上运行★ 440MIT14个月前更新

安装

Remote Desktop Commander

作者：desktop-commander

Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.

在云端运行★ 211前天更新

安装

NexusWindows

作者：pironjulien

Windows computer use in the background: desktop apps driven without your mouse or keyboard.

在你的电脑上运行今天更新

安装

作者的 README

打开 README

按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。

Lingua Universale

A language for verified AI agent protocols.

Try it in your browser -- no install needed. Watch AI agents live -- 3 agents on a verified protocol.

The Problem

Your AI agents talk to each other, but nothing guarantees they follow the rules. Wrong sender, wrong message order, missing steps -- and you only find out in production.

Lingua Universale (LU) is a type checker for AI agent conversations. You define the protocol, LU proves it's correct, and the runtime enforces it.

from cervellaswarm_lingua_universale import Protocol, ProtocolStep, MessageKind, SessionChecker, TaskRequest

Define: who sends what, to whom, in what order

review = Protocol(name="Review", roles=("dev", "reviewer"), elements=( ProtocolStep(sender="dev", receiver="reviewer", message_kind=MessageKind.TASK_REQUEST), ProtocolStep(sender="reviewer", receiver="dev", message_kind=MessageKind.TASK_RESULT), ))

checker = SessionChecker(review) checker.send("dev", "reviewer", TaskRequest(task_id="1", description="Review auth")) # OK checker.send("dev", "reviewer", TaskRequest(task_id="2", description="Oops")) # ProtocolViolation!

^^^ wrong turn: reviewer must send next

The protocol says reviewer goes next. The runtime blocks it. Not because you trust the code -- because the session type makes it impossible.

Install

pip install cervellaswarm-lingua-universale

Or try it first: Playground (runs in your browser via Pyodide).

Write a Protocol

protocol DelegateTask:

roles: supervisor, worker, validator

supervisor asks worker to execute analysis worker returns result to supervisor supervisor asks validator to verify result

when validator decides: pass: validator returns approval to supervisor fail: validator sends feedback to supervisor

properties: always terminates no deadlock no deletion all roles participate

Then verify it:

lu verify delegate_task.lu

  [1/4] always_terminates  ... PROVED

[2/4] no_deadlock ... PROVED [3/4] no_deletion ... PROVED [4/4] all_roles_participate ... PROVED

All 4 properties PASSED.

Mathematical proof. Not a test that passes today and fails tomorrow.

What You Get

Feature	Description
Full compiler	Tokenizer, parser (64 rules), AST, contract checker, Python codegen
9 verified properties	`always_terminates`, `no_deadlock`, `no_deletion`, `role_exclusive`, and more
20 stdlib protocols	AI/ML, Business, Communication, Data, Security -- ready to use
Linter + Formatter	`lu lint` (10 rules) + `lu fmt` (zero-config, like gofmt)
LSP server	Diagnostics, hover, completion, go-to-definition, formatting
VS Code extension	Install from Marketplace
Interactive chat	`lu chat` -- build protocols conversationally (English, Italian, Portuguese)
Browser playground	Try it now -- Check, Lint, Run, Chat
Lean 4 bridge	Generate and verify mathematical proofs
REPL	`lu repl` for interactive exploration
Project scaffolding	`lu init --template rag_pipeline` from 20 verified templates

Zero external dependencies. Pure Python stdlib.

CLI

lu check file.lu          # Parse and compile

lu verify file.lu # Formal property verification lu run file.lu # Execute lu lint file.lu # 10 style and correctness rules lu fmt file.lu # Zero-config auto-formatter lu chat --lang en # Build a protocol conversationally lu demo --lang it # See the La Nonna demo lu init --template NAME # Scaffold from stdlib templates lu visualize file.lu # Generate Mermaid sequence diagram lu mcp-audit --manifest t.json # Audit MCP server protocols lu repl # Interactive REPL lu lsp # Start LSP server

CI Integration

Add protocol verification to your GitHub Actions workflow:

# .github/workflows/lu-check.yml

on: push: paths: ["**/*.lu"]

jobs: lu-check: runs-on: ubuntu-latest steps:

uses: actions/checkout@v4
uses: actions/setup-python@v6 with: python-version: "3.11"
run: pip install cervellaswarm-lingua-universale
run: lu lint protocols/
run: lu verify protocols/

Exit code is non-zero on violations -- works with any CI system.

How It Works

LU is built on multiparty session types (Honda, Yoshida, Carbone -- POPL 2008). Session types describe communication protocols as types: if two processes follow the same session type, they cannot deadlock, messages cannot arrive in the wrong order, and the conversation always terminates.

The pipeline:

.lu source → Tokenizer → Parser → AST → Spec Checker → Lean 4 Proofs → Python Codegen

↓ PROVED or VIOLATED

LU doesn't replace your AI agent framework. It makes it safe. Like TypeScript for JavaScript -- you keep your tools, you add guarantees.

Examples

[LU Debugger](https://lu-debugger.fly.dev/) -- Live web app: 3 AI agents (Customer, Warehouse, Payment) communicate on a verified OrderProcessing protocol. Click "Break" to see a protocol violation blocked in real time. Source code.

See the examples/ directory:

[Agent Orchestration](packages/lingua-universale/examples/dogfood_agent_orchestration.lu) -- 3 AI agents with nested choice, 8/8 properties proved
[Live Runner](packages/lingua-universale/examples/dogfood_runner_live.py) -- Real Claude API agents on a verified protocol
[Standard Library](packages/lingua-universale/src/cervellaswarm_lingua_universale/stdlib/) -- 20 verified protocols across 5 categories

Or try the interactive Colab notebook -- 2 minutes, zero setup.

More from CervellaSwarm

Lingua Universale is the core project by CervellaSwarm. We also publish these Python packages:

Package	What it does
code-intelligence	AST-powered code understanding (tree-sitter, PageRank)
agent-hooks	Lifecycle hooks for Claude Code agents
agent-templates	Agent definition templates & team configuration
task-orchestration	Deterministic task routing & validation
spawn-workers	Multi-agent process management
session-memory	Persistent session context across conversations
event-store	Immutable event logging & audit trail
quality-gates	Automated quality checks & scoring

All Apache 2.0, Python 3.11+, tested, documented.

Contributing

We welcome contributions! See CONTRIBUTING.md for guidelines.

Bug reports: GitHub Issues
Security: See SECURITY.md for responsible disclosure

License

Apache License 2.0 -- see LICENSE.

Lingua Universale -- *Verified protocols for AI agents.*