回首頁Lingua Universale MCP Server
Verify AI agent communication with session types and formal proofs
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.rafapra3008/lu-mcp-server |
| 版本 | 0.1.1 |
| 分類 | 開發工具AI 與模型 |
| 遠端網址 | — |
| 安裝套件 | pypi：lu-mcp-server（stdio） |
| 原始碼 | https://github.com/rafapra3008/cervellaswarm.git |
| 網站 | — |
| 最後更新 | 2026-03-15T08:19:22.451957Z |