Home › Search: programming-language
Search: programming-language
Search MCP servers and agent skills by name, description, category or topic — 1 result.
MCP Server
Maintained
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.