Git-Assistant：基于规划的 Git 仓库更新支持系统

版本控制系统对协作开发至关重要，但 Git 工具对许多从业者而言仍具挑战性。尽管大语言模型（LLM）在理解开发者意图方面展现出潜力，但其缺乏形式化推理能力，限制了在仓库管理任务中的有效性。本文提出 Git-Assistant，一种结合 LLM 与自动规划技术的 AI 助手，旨在支持开发人员执行复杂的 Git 操作。该系统通过分析仓库上下文，将自然语言请求转化为可执行的命令序列，并利用规划技术确保操作的正确性与安全性。实验表明，融合形式化推理显著提升了可靠性并减少了错误。