Skip to content
mcp/harbor
Verified official

Lingua Universale MCP Server MCP

v0.1.1

io.github.rafapra3008/lu-mcp-server

Verify AI agent communication with session types and formal proofs

transport:stdio runtime:pypi
View source

Target client

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

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.