Lingua Universale MCP Server for Claude Code

io.github.rafapra3008/lu-mcp-server

Verify AI agent communication with session types and formal proofs

client:Claude Code transport:stdio runtime:pypi

Install Lingua Universale MCP Server in Claude Code

run in your project directory

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

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs