# lu-mcp-server

> Use this tool when you need to verify AI agent communication through formal proofs and session types, solving issues with message validation and safety property checks. It provides an interface to parse protocols, verify messages, and check safety properties, with 20 standard library templates available for browsing. Ideal for ensuring reliable and secure communication in AI systems, it takes protocol definitions as input and outputs verification results and safety guarantees.

Canonical page: https://skillsregistry.net/skills/rafapra3008-cervellaswarm  
JSON: https://api.skillsregistry.net/v1/skills/rafapra3008-cervellaswarm

## Description

Verify AI agent communication with session types and formal proofs.

4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.

## Trust

- **Trust score (0–1):** 0.30
- **Verification tier:** scanned
- **Last scanned:** 2026-09-28

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-09-28

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/zutlmy9avn)
- **Repository:** <https://github.com/rafapra3008/cervellaswarm>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "rafapra3008-cervellaswarm"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/rafapra3008-cervellaswarm` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/rafapra3008-cervellaswarm/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt