Back to MCP Servers
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.
securitydeploymentaiagent
By rafapra3008
Installation
npx -y cervellaswarmConfiguration
{
"mcpServers": {
"cervellaswarm": {
"command": "npx",
"args": ["-y", "cervellaswarm"]
}
}
}How to use
- Run the installation command above (if needed)
- Open your Claude Code settings file (~/.claude/settings.json)
- Add the configuration to the mcpServers section
- Restart Claude Code to apply changes