Show HN: Aim – AI-assisted verifiable SQL migration generator | Hacker News Reader