Contract-first AI code generation in Go · HackerTrans