Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: Lingua Universale – session types and Lean 4 proofs for AI agents
(github.com/rafapra3008)
1 point
rafapra
3 months ago
1 comment
2.
▲
Show HN: CervellaSwarm – The only AI coding team that checks its own work
(github.com/rafapra3008)
1 point
rafapra
5 months ago
1 comment
3.
▲
Show HN: CervellaSwarm – 16 AI agents and 3 debug guardians, coordinated via MCP
(github.com/rafapra3008)
1 point
rafapra
5 months ago
1 comment