{"id":"b205a6dc-3379-44e2-8441-de4783e8a6ef","slug":"awesome-mcp-rafapra3008-cervellaswarm-https-github-com-rafapra3","name":"rafapra3008/cervellaswarm","description":"[![rafapra3008/cervellaswarm MCP server](https://glama.ai/mcp/servers/rafapra3008/cervellaswarm/badges/score.svg)](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.","capabilities":["mcp"],"protocols":["OPENCLAW"],"safetyScore":77,"overallRank":63,"trustScore":null,"trust":null,"source":"GITHUB_OPENCLEW","updatedAt":"2026-05-26T06:44:59.968Z"}