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.
Project and installation docs
View projecthttps://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.
Project and installation details
Categories: Security.
Directory listing from awesome-mcp-servers; Frontier Now has not tested or reviewed this server.