Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents
40 points by ThailandJohn
by jbellis
1 subcomments
Love to see people leveraging static analysis for AI agents. Similar to what we're doing in Brokk but we're more tightly coupled to our own harness. (https://brokk.ai/) Would love to compare notes; if you're interested, hmu at [username]@brokk.ai.
Quick comparison: Auditor does framework-specific stuff that Brokk does not, but Brokk is significantly faster (~1M loc per minute).
Cool! I've been playing with the same code -> graph concept for LLM work. Why did you decide to go for a pseudo-compiler with a ton of custom rules rather than try to interact with the AST itself?
by esafak
0 subcomment
Lots of formal methods and verification submissions this week!
by butterisgood
1 subcomments
Looks neat. Can't use it due to the license.
by doganugurlu
1 subcomments
Great idea!
Did you consider using treesitter instead of the pseudo compiler?
Hacker News