agentmods.dev

rafapra3008/cervellaswarm

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

Open on GitHub
12Stars on the repository
1Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

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