Is Cervellaswarm free?

Yes, Cervellaswarm is free to use.

How do I install Cervellaswarm?

Cervellaswarm is a local plugin. Install it using PyPI package: lu-mcp-server and add the generated configuration snippet to your AI app's MCP config file. Then restart your AI app.

What AI apps work with Cervellaswarm?

Cervellaswarm uses the Model Context Protocol (MCP) and works with any MCP-compatible AI app, including Claude, ChatGPT / Codex, Gemini, Copilot, Cursor, and more.

Back to Browse

Cervellaswarm

by Rafapra3008

Developer ToolsLow Risk8.5MCP RegistryLocal

Free

Server data from the Official MCP Registry

Verify AI agent communication with session types and formal proofs

About

Verify AI agent communication with session types and formal proofs

How to Install

Add this to your MCP configuration file:

{
  "mcpServers": {
    "io-github-rafapra3008-lu-mcp-server": {
      "args": [
        "lu-mcp-server"
      ],
      "command": "uvx"
    }
  }
}

Security Report

8.5

Low Risk8.5Low Risk

This MCP server appears to be a wrapper for the Lingua Universale protocol verification language. The code shows good practices with proper error handling, human-friendly error messages, and appropriate permissions for a developer tool. Only minor code quality findings were identified. Package verification found 1 issue.

Scanned 4 files · 3 findings

Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.

Permissions Required

This plugin requests these system permissions. Most are normal for its category.

File System Read

Reads files on your machine. Normal for tools that analyze or process local data.

File System Write

Writes or modifies files on your machine. Check that this is expected for the tool.

env_vars

Check that this permission is expected for this type of plugin.

HTTP Network Access

Connects to external APIs or services over the internet.

Reviews

No reviews yet

Be the first to review this server!