io.github.rafapra3008/lu-mcp-serverMCP Registry
Lingua Universale MCP Server
v0.1.1Verify AI agent communication with session types and formal proofs
Endpoint health
unknown- Last checked
- No observation yet
- Latency
- Unknown
- Consecutive failures
- 0
Machine-readable profile
mcp-server · schema v1 · package or metadata only
mcp-server:io.github.rafapra3008%2Flu-mcp-server