Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods
By HaoleiZ · 2026-10-14 · 8 points · 7 comments
https://github.com/AxiomCodeAI/axiomcodegraph
By HaoleiZ · 8 points · 7 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews