Show HN: Vibeguard-dev/local – static AST analysis for AI-generated SQL (github.com)

cool

This is cool - Seeing a lot more usefulness being found for things like ASTs, SMT solvers, and other automated reasoning tools within LLM workflows. Things like this are useful as it gives an potential extra layer of confidence. Nice one.