Ante, a coding agent in a single binary that runs offline