rafapra3008/cervellaswarm

Communication

by rafapra3008

[![rafapra3008/cervellaswarm MCP server](https://glama.ai/mcp/servers/rafapra3008/cervellaswarm/badges/score.svg)](https://glama.ai/mcp/servers/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.

GitHub &nearr;Awesome MCP Servers

Stars

Installs

Tools

N/A

Security

Server Info

Category: Communication
Deployment: N/A
npm Package: N/A
PyPI Package: N/A
npm Downloads/Week: N/A
Source: Awesome MCP Servers
Published: N/A
Last Updated: 7/22/2026

Weekly AI open-source movers

Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.