3
Published Tools
18
Total Stars
0
Weekly Downloads
0
GitHub Followers
10
Public Repos
100/100
Avg Security
Published Tools
2 MCP Servers1 Skillacross 3 categorieslu-mcp-server
CervellaSwarm <noreply@cervellaswarm.com>
A
MCP server for Lingua Universale protocol verification -- verify AI agent communication with session types
MCP Serveruncategorised
62 dirs
rafapra3008/cervellaswarm
A
[](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.
...moreMCP ServerSecurity
62 dirs
cervellaswarm
rafapra
16 AI agents working as a team for your project. Not an assistant - a TEAM.
SkillLLM Tool
61 dir