rafapra3008/cervellaswarm
View on GitHub ↗ ★ 12 Python
Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.
4 mentions on Hacker News by 1 person: 3 stories, 1 comment · first 2026-01-19 · latest 2026-02-26
20082026
-
▲ 1
Show HN: Lingua Universale – session types and Lean 4 proofs for AI agentsstory by rafapra · 2026-02-26 · 1 comment
-
▲ 1
Show HN: CervellaSwarm – The only AI coding team that checks its own workstory by rafapra · 2026-01-19 · 1 comment
-
▲ 1
Show HN: CervellaSwarm – 16 AI agents and 3 debug guardians, coordinated via MCPstory by rafapra · 2026-01-19 · 1 comment