SocketlistOther / Lingua Universale MCP Server
Lingua Universale MCP Server
io.github.rafapra3008/lu-mcp-server · v0.1.1
Verify AI agent communication with session types and formal proofs
Install
uvx lu-mcp-serverTypical command from the package name. Check the README for required configuration and credentials before connecting it to real data.
Signals
| GitHub stars | 12 |
| npm weekly downloads | - |
| Last push | 2mo ago |
| Licence | Apache-2.0 |
| Open issues | 0 |
| SECURITY.md | Yes |
| Language | Python |
| Latest version published | 2026-03-15 |
Signals captured from GitHub, npm and the official MCP Registry on October 15, 2026. See the scoring method.
Similar servers
agent-device
Score 95MCP server for mobile app automation: verify, control, and debug iOS, Android, TV, and desktop apps
Hera Agent Unity
Score 87Control and verify a live Unity Editor through a local, low-token MCP server.
Warrant
Score 78Record an agent's decisions with reasons anyone can re-execute offline — verify recomputes them.