Install Cervellaswarm in Claude Code
This server doesn't publish a package to a registry, so follow the install steps in its README. Once it runs, register it with Claude Code:
claude mcp add cervellaswarm -- <command to start the server>Frequently asked questions
What does the Cervellaswarm MCP server do?
Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP.
Is the Cervellaswarm MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does Cervellaswarm run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add Cervellaswarm to Claude Code?
Follow the install steps in the project's README at https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server, then register it with "claude mcp add".
More security & identity MCP servers
View allirulescan
simonkowallik/irulescan
:shield: MCP enabled code security analyzer for F5 iRules
VulnCheck
vulncheck-oss/mcp
VulnCheck exploit intelligence — CVE research, exploit data, advisories, and threat analysis.
Keycloak Admin
mrz1880/mcp-keycloak-admin
Administer Keycloak via its Admin REST API: users, roles, clients, groups, identity providers, federation and events, with a read-only mode.
skgate
helv-io/skgate
Self-hosted MCP gateway and LLM proxy: OAuth 2.1, model aliases, Grok subscription as an API.
Bawbel Scanner
bawbel/scanner
Security scanner for MCP servers and skill files. Detects AVE vulnerabilities before production.
Index
starloghq/index
Vet a package (CVEs, license, maintenance) before your AI agent uses it, plus capability discovery.