Lingua Universale MCP Server

Name: Lingua Universale MCP Server
Author: rafapra3008

โดย rafapra3008รุ่น 0.1.1i★ –iรันบนเครื่อง

ชื่อใน registryio.github.rafapra3008/lu-mcp-server

ติดตั้ง

ภาพรวม

คำอธิบายจากผู้ทำ (ภาษาอังกฤษตามต้นฉบับ)

Verify AI agent communication with session types and formal proofs

สามเสาของ PopNx MCP

สามเรื่องนี้ไม่รวมเป็นคะแนนเดียว เพราะความเห็น การวัด และความนิยม เป็นคนละเรื่องกัน

เสียงผู้ใช้iยังไม่มีรีวิวรีวิวเปิดพร้อมระบบบัญชีในขั้นถัดไป
ผลตรวจเบื้องต้นของเราiผ่าน 1 จาก 1 ข้อตรวจจากข้อมูลที่เปิดอยู่ ยังไม่ได้สแกนโค้ด
การใช้งานiยังไม่ได้วัด★ –

ใช้ทำอะไรได้

ตัวนี้ยังไม่ได้เรียบเรียงเป็นภาษาไทย ด้านล่างคือข้อเท็จจริงที่เราอ่านจาก registry

การเชื่อมต่อ: รันบนเครื่อง
ช่องทาง (transport): stdio
หมวด: อื่น ๆ

ติดตั้ง

เลือกโปรแกรม AI ที่คุณใช้ แล้วคัดลอกค่าตั้งไปวาง

ก่อนติดตั้ง

ผลตรวจเบื้องต้น: ผ่าน 1 จาก 1 ข้อ
รันในเครื่องคุณด้วยสิทธิ์ของผู้ใช้คุณ (ไฟล์ อินเทอร์เน็ต แอปต่าง ๆ)
ทะเบียนไม่ได้ระบุ key ที่ต้องใส่

ต้องเตรียมก่อน

PyPIติดตั้ง uv ของ Python (มีคำสั่ง uvx) ในเครื่อง

คุณใช้แอปไหน

ClaudeClaude CodeCursorVS CodeChatGPT

เลือกแอปด้านบน เราจำไว้ให้ ครั้งหน้าปุ่มจะขึ้นว่า “ติดตั้งลง …”

เปิด Claude Desktop → Settings → Developer → Edit Config แล้ววางค่านี้ในไฟล์ claude_desktop_config.json

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

พิมพ์คำสั่งนี้ใน Terminal

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

เปิดใน Cursor

หรือคัดลอกค่าตั้งเอง

วางในไฟล์ .cursor/mcp.json ของโปรเจกต์ หรือ ~/.cursor/mcp.json

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

เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง

เปิดใน VS Code

หรือคัดลอกค่าตั้งเอง

วางในไฟล์ .vscode/mcp.json ของโปรเจกต์

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

ตัวนี้รันในเครื่องคุณ แต่ ChatGPT ต่อได้เฉพาะ server บนอินเทอร์เน็ต ลองเลือกแอปอื่น

ตัวเลือกเก็บในคุกกี้บนเครื่องนี้ ไม่ต้องมีบัญชี

ค่าตั้งนี้สร้างจากข้อมูลใน registry ของผู้ทำ ถ้าไม่ตรงกับ README ให้เชื่อ README

ทำอะไรได้บ้าง

รันในเครื่องคุณ รายการเครื่องมือจะขึ้นในแอป AI หลังติดตั้ง

ผลตรวจเบื้องต้นi

เราตรวจจากข้อมูลที่ใครก็เปิดดูได้ ยังไม่ได้อ่านโค้ด ข้อที่ไม่เกี่ยวกับตัวนี้ไม่นับในตัวหาร · ตรวจเมื่อ 7 พ.ย. 2569

✓ ผ่าน
ตัวตนผู้ทำตรงกับ repo
ชื่อใน registry ยืนยันด้วยบัญชี GitHub rafapra3008 ซึ่งเป็นเจ้าของ repo
… ยังไม่ตรวจ
ยังมีคนดูแล
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
… ยังไม่ตรวจ
มีสัญญาอนุญาต (license)
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
– ไม่เกี่ยว
endpoint ตอบ
ตัวนี้รันบนเครื่องคุณ ไม่มี endpoint บนอินเทอร์เน็ต
– ไม่เกี่ยว
ล็อกอินแบบ OAuth
ตัวนี้รันบนเครื่อง ใช้ค่าที่ตั้งในเครื่องแทน
… ยังไม่ตรวจ
คำอธิบายเครื่องมือไม่มีคำสั่งแอบแฝง
รันในเครื่องคุณ เราอ่านรายการเครื่องมือได้เฉพาะตัวที่มี endpoint บนอินเทอร์เน็ต

เทียบกับตัวอื่นในหมวด อื่น ๆi

ดาวมากกว่า 0% ของอีก 32683 ตัวในหมวดนี้
ส่งรุ่นใหม่เข้า registry ล่าสุดกว่า 4% ของอีก 32683 ตัวในหมวดนี้
ผลตรวจเบื้องต้นดีกว่าหรือเท่ากับ 100% ของอีก 32683 ตัวในหมวดนี้

เทียบกับทุก server ที่ยังใช้งานในหมวดนี้ทั้งทะเบียน ดาวนับเฉพาะเมื่อผู้ลงทะเบียนเป็นเจ้าของ repo

คำถามที่พบบ่อย

Lingua Universale MCP Server ปลอดภัยไหม?

จากการตรวจเบื้องต้นของเรา ผ่าน 1 จาก 1 ข้อที่ตรวจได้ เรายังไม่ได้อ่านโค้ด ก่อนใส่กุญแจหรือ token ให้ดูว่า server ขอสิทธิ์อะไร และเลือกกุญแจที่ทำได้เท่าที่จำเป็น

ต้องใช้กุญแจหรือรหัสอะไรบ้าง?

registry ไม่ได้ระบุว่าต้องใช้กุญแจ แต่บางตัวจะขอให้ล็อกอินตอนใช้ครั้งแรก

ตัวนี้รันบนเครื่องหรือบนคลาวด์?

รันบนเครื่องของคุณ โปรแกรม AI จะเปิด server ขึ้นมาเองเมื่อใช้ ข้อมูลไม่ต้องผ่านเซิร์ฟเวอร์ของผู้ทำ (ยกเว้นตัวที่ไปเรียกบริการออนไลน์ต่อ)

ยังมีคนดูแลอยู่ไหม?

repo บน GitHub มีการแก้โค้ดล่าสุด – และส่งรุ่นล่าสุด (0.1.1) เข้า registry 8 เดือนที่ผ่านมา

ใช้กับโปรแกรมไหนได้บ้าง?

โปรแกรมที่รองรับ MCP เช่น Claude Desktop, Claude Code, Cursor และ VS Code ตัวนี้ต้องมี Python (uv) ในเครื่องด้วย

มีตัวไหนใช้แทนได้บ้าง?

ในหมวดเดียวกันมี Spec Driven Development, Remote Desktop Commander, MCP Server Autocad Lisp Helper

ตัวที่ใช้แทนได้

server หมวดเดียวกันจากผู้ทำคนอื่น เรียงตามดาว

อ่านการ์ด:★ ดาว GitHubiสามเสา: รีวิว · ผลตรวจ · การใช้งานiอัปเดต = วันที่ส่งรุ่นล่าสุดเข้า registryi

Spec Driven Development

โดย formulahendry

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

รันบนเครื่อง★ 440MITอัปเดต 14 เดือนที่ผ่านมา

ติดตั้ง

Remote Desktop Commander

โดย desktop-commander

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

รันบนคลาวด์★ 211อัปเดต เมื่อวานซืน

ติดตั้ง

MCP Server Autocad Lisp Helper

โดย radwanalmsora

High-precision static analysis and debug server for AutoCAD AutoLISP (.lsp) files.

รันบนเครื่องอัปเดต วันนี้

ติดตั้ง

README จากผู้ทำ

เปิดอ่าน README

ส่วนนี้คัดจาก repo ของผู้ทำตามต้นฉบับ 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

ใช้ทำอะไรได้

ติดตั้ง

ก่อนติดตั้ง

ทำอะไรได้บ้าง

ผลตรวจเบื้องต้นi

ตัวตนผู้ทำตรงกับ repo

ยังมีคนดูแล

มีสัญญาอนุญาต (license)

endpoint ตอบ

ล็อกอินแบบ OAuth

คำอธิบายเครื่องมือไม่มีคำสั่งแอบแฝง

เทียบกับตัวอื่นในหมวด อื่น ๆi

คำถามที่พบบ่อย

ตัวที่ใช้แทนได้

Spec Driven Development

Remote Desktop Commander

MCP Server Autocad Lisp Helper

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