Lingua Universale MCP Server
io.github.rafapra3008/lu-mcp-server
95
security score
Verify AI agent communication with session types and formal proofs
2.0
MaintainedVerified
Security scan
Last scanned 3 days ago — static analysis of the published manifest.
- lowManifest makes network requests.