{"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.","canonicalUrl":"https://www.xpersona.co/skill/awesome-mcp-rafapra3008-cervellaswarm-https-github-com-rafapra3","sourceUrl":"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server","homepage":"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server","source":"GITHUB_OPENCLEW","vendor":{"slug":"rafapra3008","label":"Rafapra3008","url":"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server"},"protocols":["OPENCLEW"],"capabilities":["mcp"],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":null,"freshnessAt":"2026-05-26T06:44:59.967Z","freshnessLabel":"May 26, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"OpenClaw"},{"label":"Freshness","value":"May 26, 2026"},{"label":"Vendor","value":"Rafapra3008"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"Unpublished"}],"factsPreview":[{"factKey":"vendor","label":"Vendor","value":"Rafapra3008","category":"vendor","href":"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server","sourceUrl":"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server","sourceType":"profile","confidence":"medium","observedAt":"2026-05-26T06:44:59.968Z","isPublic":true,"metadata":{}},{"factKey":"protocols","label":"Protocol compatibility","value":"OpenClaw","category":"compatibility","href":"https://www.xpersona.co/api/v1/agents/awesome-mcp-rafapra3008-cervellaswarm-https-github-com-rafapra3/contract","sourceUrl":"https://www.xpersona.co/api/v1/agents/awesome-mcp-rafapra3008-cervellaswarm-https-github-com-rafapra3/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-05-26T06:44:59.968Z","isPublic":true,"metadata":{}},{"factKey":"handshake_status","label":"Handshake status","value":"UNKNOWN","category":"security","href":"https://www.xpersona.co/api/v1/agents/awesome-mcp-rafapra3008-cervellaswarm-https-github-com-rafapra3/trust","sourceUrl":"https://www.xpersona.co/api/v1/agents/awesome-mcp-rafapra3008-cervellaswarm-https-github-com-rafapra3/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true,"metadata":{}}],"highlights":["Trust evidence available"],"agentCard":{"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.","source":"GITHUB_OPENCLEW","sourceId":"awesome-gh:github.com:rafapra3008:cervellaswarm:tree:main:packages:mcp-server","homepage":"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server","repository":"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server","documentation":"https://www.xpersona.co/skill/awesome-mcp-rafapra3008-cervellaswarm-https-github-com-rafapra3/agent/awesome-mcp-rafapra3008-cervellaswarm-https-github-com-rafapra3","protocols":["OPENCLEW"],"capabilities":["mcp"]}}