HN Explorer

8 comments

[ 0.22 ms ] story [ 27.0 ms ] thread
HaoleiZ
AxiomCode Graph turns any codebase into a formal-methods-grounded knowledge graph, giving coding agents precise answers to code-related questions. It helps agents make more complete, correct changes while reducing rework, time, and token usage.

We're now building the next layer and will release soon: translating engineering specs and constraints into formal rules on top of the code graph to verify agent-generated changes.

spaliwal26
Formal verification code graphs are the need of the hour
HaoleiZ
Couldn't agree more, and we (not just us but the whole industry) are just getting started. However, what we see there is lean is not the only path to do it, and that why we are trying to do with a different scalable formal rules approach.
skipplegend
This seems cool. I'm going to check it out!
math93
How are you using formal methods? How is it different from other similar graphs for agents?
Whua33
If it can reduce token cost and increase accuracy and efficiency, I don't see any reason why I shouldn't using it.