rafapra3008

1 mods across 1 repository, 12 stars between them.

lu-mcp-server

01

rafapra3008/cervellaswarm

MCP server Claude CodeCodexCursor +2

MCP server for Lingua Universale protocol verification -- verify AI agent communication with session types. Runs locally from the lu-mcp-server Python package.

not rated 12 2mo ago A tokens not measured original Apache-2.0