Git-Assistant：用自动规划辅助Git仓库更新

版本控制系统对于协作软件开发至关重要，但像 git 这样的工具对许多从业者来说仍然具有挑战性。 大语言模型 (LLM) 的最新进展为解释开发人员意图提供了有前景的功能，但它们在存储库管理任务中的有效性受到形式推理需求的限制。这项工作引入了 Git-Assistant，这是一个基于 AI 的助手，它将 LLM 与自动化规划相结合，以支持开发人员执行重要的 git 操作。该助手分析存储库上下文，将自然语言请求转换为可操作的命令序列，并结合规划技术以确保正确性和安全性。我们提出了一种使用合成和随机 git 环境的系统评估方法，比较了仅 LLM 和规划增强变体在多个指标中的性能。实验结果表明，将形式推理与 LLM 集成可以提高可靠性并减少存储库管理中的错误，凸显了混合 AI 方法在智能开发人员协助方面的潜力。