rafapra3008/cervellaswarm

Name: rafapra3008/cervellaswarm
Author: rafapra3008

PASSING

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.

Code & DevClaude DesktopCursorWindsurf

Installation

install command

$ npx cervellaswarm

Test History

No test history yet. This tool is queued for testing.

Tool Info

GitHub

View on GitHub

Author

rafapra3008

Last Tested

Apr 14, 2026, 06:31 PM

Status

PASSING

Have a tool?

Submit your MCP server for free monthly verification and listing.

Submit a Tool →