← all MCP servers
Lingua Universale MCP Server
io.github.rafapra3008/lu-mcp-server
Verify AI agent communication with session types and formal proofs
install
pypi · stdio
uvx lu-mcp-server
details
- version
- 0.1.1
- license
- Apache-2.0
- stars
- 9
- last commit
- 2026-06-03
- published
- 2026-03-15
last synced 2026-07-29