Lingua Universale MCP Server

v0.1.1

io.github.rafapra3008/lu-mcp-server

Verify AI agent communication with session types and formal proofs

Install

uvx lu-mcp-server==0.1.1

Details

Transport: —
Status: active
Repository: https://github.com/rafapra3008/cervellaswarm.git
Published: 2026-03-15
Updated: 2026-03-15

Own this MCP server?

Email hello@agentalmanac.org with proof you own this listing (link your GitHub user to io.github.rafapra3008/lu-mcp-server) to claim it and earn a ⭐ badge plus public contact info.