agentmods.dev

rafapra3008/cervellaswarm

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

Open on GitHub
10Stars on the repository
1Mods indexed here, across every type
17d 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 10 17d ago A tokens not measured original Apache-2.0