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の3つの柱

この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。

利用者の声iレビューはまだありませんレビューは今後のステップで、アカウント機能と一緒に始まります
私たちの基本チェックi1項目中1項目に合格公開情報からチェック。コードはまだスキャンしていません
利用状況i未計測★ –

できること

このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。

接続方法: パソコンで動く
トランスポート: stdio
カテゴリ: その他

インストール

使っているAIアプリを選んで、設定をコピーしてください。

インストールの前に

基本チェック：1項目中1項目に合格
あなたのパソコンで、あなたのユーザーと同じ権限（ファイル、ネットワーク、アプリ）で動きます。
レジストリには、入力が必要なキーは載っていません。

必要なもの

PyPIPythonの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

このカテゴリのほかの32708件のうち0%よりスターが多い
このカテゴリのほかの32708件のうち4%より最近レジストリに公開
基本チェックの結果が、このカテゴリのほかの32708件のうち100%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

Lingua Universale MCP Serverは安全ですか？

当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか？

レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。

パソコンで動きますか、それともクラウドですか？

あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません（サーバー自体がオンラインサービスを呼び出す場合を除きます）。

今もメンテナンスされていますか？

GitHubリポジトリの最終更新は–、最新バージョン（0.1.1）がレジストリに届いたのは8 か月前です。

どのアプリで使えますか？

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにPython (uv)も必要です。

代わりに使えるものは？

同じカテゴリには：Spec Driven Development, Remote Desktop Commander, OpenTakeoff

代わりの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方：★ GitHubスターi3つの柱：レビュー · チェック · 利用状況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一昨日更新

インストール

OpenTakeoff

作者：Kentucky-ai

Construction takeoff for AI agents: load plans, set scale, measure, count, export with provenance.

パソコンで動く今日更新

インストール

作者の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.*

Lingua Universale MCP Server

概要

PopNx MCPの3つの柱

できること

インストール

インストールの前に

できること

基本チェックi

作者とリポジトリが一致

今もメンテナンスされている

ライセンスがある

エンドポイントが応答する

OAuthでサインイン

ツールの説明に隠れた指示がない

その他のほかのサーバーとの比較i

よくある質問

代わりの候補

Spec Driven Development

Remote Desktop Commander

OpenTakeoff

作者のREADME

Lingua Universale

The Problem

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

^^^ wrong turn: reviewer must send next

Install

Write a Protocol

What You Get

CLI

CI Integration

How It Works

Examples

More from CervellaSwarm

Contributing

License