lu-mcp-server

http

Verify AI agent communication with session types and formal proofs

Install

pip install lu-mcp-server

Tools · 1

lu-mcp-server MCP server with tools extracted from README

Links

githubgithub.com/rafapra3008/cervellaswarm/tree/main/lu-mcp-server ↗

★ 8 GitHub stars