rafapra3008/cervellaswarm
Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.
1 best points · 3 comments · 3 Hacker News posts · 12 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: CervellaSwarm – 16 AI agents and 3 debug guardians, coordinated via MCP (1 points, 1 comments, by rafapra, 2026-01-19)
- Show HN: CervellaSwarm – The only AI coding team that checks its own work (1 points, 1 comments, by rafapra, 2026-01-19)
- Show HN: Lingua Universale – session types and Lean 4 proofs for AI agents (1 points, 1 comments, by rafapra, 2026-02-26)