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.

Awesome, try it with your coding agents! Let us know if there is any question or feedbacks!

Good question, most graphs nowadays rely on Tree-sitter, heuristics, or string-based search for code structure analysis. What we do here is using formal methods through data-log rules instead of lean. This fundamental different approach achieve 94.9% accuracy as result on Defects4J Benchmark, compare with Graphify 48.7%