Servers›io.github.rafapra3008/lu-mcp-server
S

Lingua Universale MCP Server✓

io.github.rafapra3008/lu-mcp-server · v0.1.1
▦ pypi
v0.1.1▦ pypi pypi: lu-mcp-server↗ Repository
ⓘOverview</>Integrate{}server.json
ⓘAbout

Verify AI agent communication with session types and formal proofs

＋Endpoints
Package
pypi: lu-mcp-server