← Back to MCP servers
rafapra3008/cervellaswarm
Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter,
Visit repository ↗Also available in 中文.
Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter,
Visit repository ↗Also available in 中文.