Lingua Universale MCP Server
stdiouvx
Verify AI agent communication with session types and formal proofs
Details
- Publisher
- io.github.rafapra3008
- Canonical name
- io.github.rafapra3008/lu-mcp-server
- Transports
- stdio
- Runtime
- uvx
- Auth model
- none
- Status
- active
Packages
- lu-mcp-serverpypiv0.1.1