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•33m ago
Formal verification code graphs are the need of the hour
HaoleiZ•22m ago
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.
HaoleiZ•49m ago
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.