English Français العربية

MCP Server

Community Security

Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP.

Source code Documentation

Install

The installation steps are in the documentation below. Documentation

Documentation

From the project's README on GitHub, refreshed weekly. Links open on GitHub.

Contents
  1. CervellaSwarm MCP Server
  2. Quick Start
  3. Available Agents (17)
  4. Example Usage in Claude Code
  5. Development (for contributors)
  6. Architecture
  7. Philosophy
  8. Links

CervellaSwarm MCP Server

The only AI coding team that checks its own work.

17 AI agents with quality guardians for Claude Code.

Quick Start

1. Install
npm install -g @cervellaswarm/mcp-server
2. Configure Claude Code

Add to your ~/.claude/settings.json:

{
  "mcpServers": {
    "cervellaswarm": {
      "command": "cervellaswarm-mcp"
    }
  }
}

Or add to your project's .mcp.json:

{
  "mcpServers": {
    "cervellaswarm": {
      "command": "cervellaswarm-mcp"
    }
  }
}
3. Set API Key

Install the CLI and run init:

npm install -g cervellaswarm
cervellaswarm init

Or set environment variable directly:

export ANTHROPIC_API_KEY=sk-ant-...
4. Restart Claude Code

Restart Claude Code to load the MCP server. You'll have access to these tools:

  • spawn_worker: Execute tasks with specialized AI workers
  • list_workers: See available workers and their specialties
  • check_status: Verify configuration and API key
  • check_usage: Check your usage quota

Available Agents (17)

Models: Regina/Guardiane/Architect use Opus 4.5, Workers use Sonnet 4.5

The Architect (1) - Strategic Planner [OPUS]
AgentSpecialty
architectPlans complex tasks, creates PLAN.md before implementation
Guardiane (3) - Quality Gates [OPUS]
GuardianaRole
guardiana-qualitaVerifies code quality (9.5+ standard)
guardiana-ricercaVerifies research accuracy
guardiana-opsVerifies deploy safety & security
Regina (1) [OPUS]
AgentRole
orchestratorThe Queen - Coordinates all agents
Workers (12) [SONNET]
WorkerSpecialty
backendPython, FastAPI, API, Database
frontendReact, CSS, Tailwind, UI/UX
testerTesting, Debug, QA
docsDocumentation, README, Guides
devopsDeploy, CI/CD, Docker
dataSQL, Analytics, Database Design
securitySecurity Audit, Vulnerabilities
researcherResearch, Analysis, Best Practices
marketingUX Strategy, Positioning, Copywriting
ingegneraArchitecture, Refactoring, Tech Debt
scienziataMarket Research, Competitor Analysis
reviewerCode Review, Best Practices

Example Usage in Claude Code

Use spawn_worker to create a REST API endpoint for user authentication

Claude Code will call the spawn_worker tool with worker: "backend" automatically.

Development (for contributors)

# Clone and install
git clone https://github.com/rafapra3008/CervellaSwarm
cd cervellaswarm/packages/mcp-server
npm install

# Watch mode
npm run dev

# Test with MCP Inspector
npm run inspect

# Build
npm run build
Local Development Config

For local development, use path-based config in ~/.claude/settings.json:

{
  "mcpServers": {
    "cervellaswarm": {
      "command": "node",
      "args": ["/path/to/CervellaSwarm/packages/mcp-server/dist/index.js"]
    }
  }
}

Architecture

MCP Server
    │
    ├── Tools
    │   ├── spawn_worker    → Anthropic API (your key)
    │   ├── list_workers    → Static list
    │   ├── check_status    → Config check
    │   └── check_usage     → Quota info
    │
    └── Shares config with CLI
        └── Uses same API key from cervellaswarm init

Philosophy

"Sometimes it feels like magic."

We're honest: AI tools aren't perfect. Context gets lost, mistakes happen. Our solution? Built-in quality guardians - three dedicated agents whose job is to review and verify the work of others.

Not promising perfection. Promising honesty and continuous improvement.

"17 agents with quality guardians. Your AI team in Claude Code."

Frequently asked questions

What is MCP Server?

Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP.

How do I install MCP Server?

Follow the installation steps in its documentation, shown on this page and in its repository.

Is MCP Server open source?

Yes. Its code is on GitHub under the Apache-2.0 license.

Who maintains MCP Server?

It is published by rafapra3008. AI.tn lists it but does not maintain or endorse it.

From the community awesome-mcp-servers lists and the project's GitHub repository. Listing is not an endorsement: review a server's code and permissions before giving it access to your data.