Show HN: Aim – AI-assisted verifiable SQL migration generator · HackerTrans