MCP MeasureMCP Measure

index observed

Lingua Universale MCP Server

Verify AI agent communication with session types and formal proofs

Install

One-Click Install

Add this to your `claude_desktop_config.json` file:

{
  "mcpServers": {
    "lu-mcp-server": {
      "command": "uvx",
      "args": [
        "lu-mcp-server"
      ]
    }
  }
}

Runnable packages

pypilu-mcp-server0.1.1stdio

What it can do

Tool inventory

No publishable tool enumeration has been recorded.

Community

Rate this Server

Evidence

Recent observations

This server has Registry metadata but no public verification run yet.