What is cervellaswarm?
cervellaswarm is a MCP server by rafapra3008 that verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP. It is listed under Security and has 12 GitHub stars.
| Type | Mcp server |
|---|---|
| Author | rafapra3008 |
| Repository | rafapra3008/cervellaswarm |
| Popularity | 12 GitHub stars |
| Category | Security |
| Security | Low risk (96/100) |
| Rank | #1,622 of 4,418 MCP servers; #81 in Security |
| License | Apache-2.0 |
| Last commit | 2026-08-18 |
| Runs | Locally |
| Language | Python |
| Platforms | macOS, Windows, Linux |
Is cervellaswarm safe to install?
cervellaswarm scores 96/100 on the MCPMods security check: Low risk. No checks raised a concern. It passed 5 of 6 checks.
MCP server results come from listing signals: who publishes it, where your data goes and what it can do. The code itself is not scanned yet.
| Check | Result |
|---|---|
| Community-built server | Note |
| Runs on your machine only | Pass |
| No credentials mentioned | Pass |
| Read-only by description | Pass |
| No code execution | Pass |
| Source on GitHub | Pass |
How do I install cervellaswarm?
- Find the launch command. The README says how the server starts (npx, uvx, docker or a remote URL) and which API keys it needs.
https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server
- Add it to Claude Code. Replace the part after -- with the command from the README. Remote servers use --transport http with a URL.
claude mcp add cervellaswarm -- <command from README> claude mcp add --transport http cervellaswarm <server-url>
- Check it connected. This lists your MCP servers and their status.
claude mcp list
Or ask Claude to set it up
Paste this into Claude Code and it installs cervellaswarm for you:
Add the "cervellaswarm" MCP server from https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server to Claude Code. Read its README for the launch command and any API keys I need, run claude mcp add, then check that it connects.