What it does

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

Unknown connectionPricing not confirmed

Connection manifest

Public connection metadata from the source. Follow the provider’s setup guide for authentication, permissions, and required variables.

{
  "name": "rafapra3008/cervellaswarm/tree/main/packages/mcp-server",
  "repository": {
    "url": "https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server"
  },
  "remotes": [],
  "packages": []
}

Metadata reviewed for listing. Server code, permissions, and runtime behavior have not been security-audited. Directory access is free; individual providers may charge.