Verify AI agent communication with session types and formal proofs
io.github.rafapra3008/lu-mcp-server
https://github.com/rafapra3008/cervellaswarm.git
STDIO
No auth required
Hosted endpoint — paste into any MCP client.
Where to find authoritative docs and source for Lingua Universale MCP Server.
Open MCP Agent Studio and connect this server to Claude, GPT, Gemini, DeepSeek and more — no install required.
Open Agent Studio