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