{"server":{"id":"rafapra3008-cervellaswarm-2cd7da5e20b7","name":"rafapra3008/cervellaswarm/tree/main/packages/mcp-server","title":"rafapra3008/cervellaswarm","description":"Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP.","category":"Other","transport":"Unknown","pricing":"Unknown","website":"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server","repository":"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server","version":"","manifest":"{\"name\":\"rafapra3008/cervellaswarm/tree/main/packages/mcp-server\",\"repository\":{\"url\":\"https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server\"},\"remotes\":[],\"packages\":[]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"rafapra3008/cervellaswarm MCP server","seoDescription":"Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP.","createdAt":"2026-11-04T07:18:57.596Z","updatedAt":"2026-11-04T07:58:36.806Z"}}