listed
Lingua Universale MCP Server
io.github.rafapra3008 · io.github.rafapra3008
MCP
Verify AI agent communication with session types and formal proofs
MCP
local
pypi lu-mcp-server
uvx
ATTRIBUTION
- mcp · last seen 2026-09-24T02:54:40.248632Z · fetched 2026-09-24T02:54:40.248632Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.