MCP Server

Communauté Sécurité

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

Installation

Les étapes d'installation sont dans la documentation ci-dessous. Documentation

Documentation

Tirée du README du projet sur GitHub, actualisée chaque semaine. Les liens ouvrent GitHub.

Sommaire
  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."

Questions fréquentes

Qu'est-ce que 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.

Comment installer MCP Server ?

Suivez les étapes d'installation de sa documentation, affichée sur cette page et dans son dépôt.

MCP Server est-il open source ?

Oui. Son code est sur GitHub sous licence Apache-2.0.

Qui maintient MCP Server ?

Il est publié par rafapra3008. AI.tn le référence sans le maintenir ni le recommander.

Issu des listes communautaires awesome-mcp-servers et du dépôt GitHub du projet. Être listé n'est pas une recommandation : vérifiez le code et les permissions d'un serveur avant de lui donner accès à vos données.