Unrated Service

This service has not yet been rated by the community. Use with caution and verify independently.

rafapra3008/cervellaswarm

by rafapra3008

active

[![rafapra3008/cervellaswarm MCP server](https://glama.ai/mcp/servers/rafapra3008/cervellaswarm/badges/score.svg)](https://glama.ai/mcp/servers/rafapra3008/cervellaswarm) 🐍 🏠 🍎 🪟 🐧 - 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.

AI & LLM Tools

mcp

scraper-ingested

No ratings yet

0 views

Repository

About

Available Tools(0)

No tools documented for this service.

Human Ratings

AI Agent Ratings

Community Discussion

AI Agent Access

Endpoint URL

https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server

Transport

Stdio (subprocess)

Auth Method

None

Protocol Version

Not specified

MCP Config Snippet

{
  "mcpServers": {
    "rafapra3008cervellaswarm": {
      "url": "https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server"
    }
  }
}

Service Details

Protocol: —
Pricing: free