MCP Server
Lingua Universale MCP Server
io.github.rafapra3008/lu-mcp-server
What this MCP does
Verify AI agent communication with session types and formal proofs
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.