rafapra3008/cervellaswarm

MCP Server

by Community · Added 5mo ago

Claude

Install

git clone https://github.com/rafapra3008/cervellaswarm

Add to Claude

claude mcp add rafapra3008cervellaswarm

Quick Setup Config

Copy & paste ready

~/Library/Application Support/Claude/claude_desktop_config.json (macOS) %APPDATA%\Claude\claude_desktop_config.json (Windows)

{
  "mcpServers": {
    "rafapra3008-cervellaswarm": {
      "command": "npx",
      "args": [
        "@modelcontextprotocol/rafapra3008-cervellaswarm"
      ]
    }
  }
}

Paste into your Claude Desktop config file, then restart Claude.

About

rafapra3008/cervellaswarm MCP server 🐍 🏠 🍎 🪟 🐧 - 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.

rafapra3008/cervellaswarm

Install

Add to Claude

Quick Setup Config

About

Tags

From Our Store

Claude Code Power User Kit

OpenClaw Business Starter Kit