rafapra3008/cervellaswarm
（英文原文）Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP.
项目与安装文档
查看项目https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server
（英文原文）Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP.
分类: 安全.
用途说明来自 awesome-mcp-servers 清单；Frontier Now 尚未测试或审查该服务器。