Dockerless：无环境的代码智能体程序验证器

一种无 Docker 环境、无需实际执行的智能体补丁验证器，可提升代码补丁评估精度，并在无需基于执行的验证成本下实现有效的后训练。