Lingua Universale MCP Server

Verify AI agent communication with session types and formal proofs

Ready: LocalSecurity: LocalAuth: UnknownSetup: Unknownmcp_servermcp

Use it

Packages
  • pypi: lu-mcp-server 0.1.1uvx lu-mcp-server
Instructions
  • Use an MCP client, but no callable endpoint or package install target was published.

Version history

VersionStatusPublished
0.1.1LatestactiveMar 15, 2026