Lingua Universale MCP Server
by io.github.rafapra3008 · Added 9d ago
Install
git clone https://github.com/rafapra3008/cervellaswarm.gitAbout
Verify AI agent communication with session types and formal proofs
Tags
ai-mlmcp-serverofficial-registry
by io.github.rafapra3008 · Added 9d ago
git clone https://github.com/rafapra3008/cervellaswarm.gitVerify AI agent communication with session types and formal proofs