Stories by rafapra

Show HN: Lingua Universale – session types and Lean 4 proofs for AI agents

Show HN: CervellaSwarm – The only AI coding team that checks its own work

Show HN: CervellaSwarm – 16 AI agents and 3 debug guardians, coordinated via MCP