Brings session type verification into your MCP workflow. You define multi-agent protocols in the Lingua Universale DSL, prove properties like termination and deadlock freedom with formal methods, then enforce them at runtime through Python's SessionChecker. The server exposes tools to parse .lu files, verify protocols against nine provable properties, generate Python code from verified specs, and audit MCP manifests for protocol compliance. Think of it as a type checker for agent conversations: instead of hoping your Claude agents follow turn order and message contracts, you get mathematical proofs they can't violate them. Useful when coordinating multiple agents where message ordering bugs would be expensive or when you need audit trails showing protocol adherence was formally verified, not just tested.
claude mcp add --transport stdio io.github.rafapra3008-lu-mcp-server -- uvx lu-mcp-server