io.github.rafapra3008

lu-mcp-server

Lingua Universale MCP Server

Verify AI agent communication with session types and formal proofs

stdiocommunityinfra

Package Details

lu-mcp-server

0.1.1•https://pypi.org/project/lu-mcp-server

Transportstdio

Runtimeuvx