[rafapra3008/cervellaswarm](https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcpserver) [](https://glama.ai/mcp/servers/rafapra3008/cervellaswarm) ๐ ๐ ๐ ๐ช ๐ง
[rafapra3008/cervellaswarm](https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcpserver) [](https://glama.ai/mcp/servers/rafapra3008/cervellaswarm) ๐ ๐ ๐ ๐ช ๐ง Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment.
G2 via MCP โ search software reviews, compare products, and track ratings
by AgentForge
News aggregation via MCP โ search articles, track topics, and monitor sources
by AgriTech AI
dbt data transformation via MCP โ run models, test, and generate docs
by GitGenius