Armory
Source
Browse
MCPs

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.

Score
Unranked
Evidence
No signals yet
Last commit
Not known
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. chimera-protocol-csl-core16 stars · 12 forks80.448
  2. aristotle-mcp-server13 stars · 3 forks69.750
  3. namin-dafny-verifier3 stars · 4 forks57.754

What it is

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.

When to use it

When an agent needs the "Security" capability this MCP server exposes.

Source

Migrated from the awesome-mcp-servers navigation directory (category: Security). See https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server.