Lingua Universale MCP Server

---

問題点

AIエージェント同士は会話しますが、ルールに従う保証はありません。送信者の誤り、メッセージ順序の誤り、手順の抜け落ち――こうした問題に気づくのは、本番環境に入ってからです。

Lingua Universale（LU）は、AIエージェントの会話を型チェックするツールです。プロトコルを定義すると、LUがその正しさを証明し、ランタイムがそれを強制します。

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

プロトコルでは次にレビュアーが動くことになっています。ランタイムはそれをブロックします。コードを信頼しているからではなく、セッション型によって不可能になっているからです。

---

インストール

pip install cervellaswarm-lingua-universale

まず試してみる場合はこちら：プレイグラウンド（Pyodideを使ってブラウザー上で動作します）。

---

プロトコルを書く

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

次に検証します：

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.

数学的な証明です。今日は成功して明日は失敗するテストではありません。

---

利用できる機能

機能	説明
完全なコンパイラー	トークナイザー、パーサー（64のルール）、AST、コントラクトチェッカー、Pythonコード生成
9つの検証済みプロパティ	always_terminates、no_deadlock、no_deletion、role_exclusiveなど
20の標準ライブラリプロトコル	AI/ML、ビジネス、コミュニケーション、データ、セキュリティ――すぐに使えます
リンター＋フォーマッター	lu lint（10のルール）＋ lu fmt（設定不要、gofmtのように使えます）
LSPサーバー	診断、ホバー、補完、定義への移動、フォーマット
VS Code拡張機能	Marketplaceからインストール
対話型チャット	lu chat -- 会話形式でプロトコルを作成できます（英語、イタリア語、ポルトガル語）
ブラウザープレイグラウンド	今すぐ試す -- チェック、Lint、実行、チャット
Lean 4ブリッジ	数学的証明を生成・検証
REPL	対話的な探索に使えるlu repl
プロジェクトのひな形作成	20の検証済みテンプレートからlu init --template rag_pipelineを実行

外部依存関係はありません。Python標準ライブラリのみで動作します。

---

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への統合

GitHub Actionsのワークフローにプロトコル検証を追加します：

# .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/

違反がある場合は終了コードが0以外になります。あらゆるCIシステムで動作します。

---

仕組み

LUはマルチパーティ・セッション型（Honda、Yoshida、Carbone -- POPL 2008）を基盤としています。セッション型は、通信プロトコルを型として記述します。2つのプロセスが同じセッション型に従う場合、デッドロックは発生せず、メッセージの順序が入れ替わることもなく、会話は必ず終了します。

パイプライン：

.lu source → Tokenizer → Parser → AST → Spec Checker → Lean 4 Proofs → Python Codegen
                                           ↓
                                    PROVED or VIOLATED

LUはAIエージェントフレームワークに取って代わるものではありません。安全性を高めます。JavaScriptに対するTypeScriptのように、既存のツールはそのままに、保証を追加できます。

---

例

LU Debugger -- ライブウェブアプリ：3つのAIエージェント（Customer、Warehouse、Payment）が、検証済みのOrderProcessingプロトコル上で通信します。「Break」をクリックすると、プロトコル違反がリアルタイムでブロックされる様子を確認できます。ソースコード。

examples/ ディレクトリをご覧ください。

• Agent Orchestration -- ネストされた選択肢を含む3つのAIエージェント、8/8のプロパティを証明済み
• Live Runner -- 検証済みプロトコル上で動作する、実際のClaude APIエージェント
• Standard Library -- 5つのカテゴリにわたる20の検証済みプロトコル

または、インタラクティブなColabノートブックをお試しください。所要時間は2分、セットアップは不要です。

---

CervellaSwarmのその他のプロジェクト

Lingua Universaleは、CervellaSwarmの中核プロジェクトです。以下のPythonパッケージも公開しています。

パッケージ	機能
code-intelligence	ASTを活用したコード理解（tree-sitter、PageRank）
agent-hooks	Claude Codeエージェント向けのライフサイクルフック
agent-templates	エージェント定義テンプレートとチーム設定
task-orchestration	決定論的なタスクのルーティングと検証
spawn-workers	マルチエージェントのプロセス管理
session-memory	会話をまたいで保持されるセッションコンテキスト
event-store	不変のイベントログと監査証跡
quality-gates	自動品質チェックとスコアリング

すべてApache 2.0ライセンスで、Python 3.11以降に対応し、テストとドキュメントを備えています。

---

コントリビューション

コントリビューションを歓迎します！ガイドラインについてはCONTRIBUTING.mdをご覧ください。

• バグ報告： GitHub Issues
• セキュリティ： 責任ある脆弱性開示についてはSECURITY.mdをご覧ください

---

ライセンス

Apache License 2.0 -- 詳細はLICENSEをご覧ください。

Copyright 2025-2026 CervellaSwarm Contributors.

---