0sql_exenvbyeveryday_aqua_kalliOptimize SQL queries while validating correctness for LLM agents.GitHubView pitch