io.github.rafapra3008/lu-mcp-serverai

Lingua Universale MCP Server

Synced · awaiting check

Verify AI agent communication with session types and formal proofs

Install

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

Our take

Not yet reviewed. This entry is synced and verified automatically but hasn't had an editorial pass yet. The data above is real; the judgment is yours for now.

Something wrong or dead here? Report it

Verification record

in registry since: 2026-03-15

github.com/rafapra3008/cervellaswarm.git