codex写代码其实挺快的，大部分时间都浪费在了验证上，有时候改一个小功能他能跑几百项验证，如果涉及数据库，他甚至能用docker起一个临时库出来，这块有没有优化的办法呀～