Lingua Universale MCP Server

io.github.rafapra3008/lu-mcp-server · v0.1.1

Verify AI agent communication with session types and formal proofs

Description supplied by the publisher in the MCP Registry. We have not tested this server.

Install

uvx lu-mcp-server

Assembled from the package metadata in the official MCP Registry (including any subcommand or flag the publisher lists). Some publishers do not list the subcommand that starts MCP mode, so confirm the command in the README, along with any 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.