Server record / io.github.rafapra3008/lu-mcp-server
Lingua Universale MCP Server
Verify AI agent communication with session types and formal proofs
Runnable packages
pypilu-mcp-server
0.1.1stdioTool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.