Git-Assistant 是一个基于人工智能的助手，它将大型语言模型与自动规划相结合，帮助开发者执行复杂的 git 操作。它分析仓库上下文，将自然语言请求转换为可执行的命令序列，并通过形式化推理确保正确性。

该系统结合了规划技术来提高仓库管理任务的可靠性。使用合成和随机生成的 git 环境进行的系统评估，通过多项指标比较了仅使用大语言模型的变体与结合规划的变体。

实验结果表明，将形式化推理与大语言模型相结合可以减少仓库管理中的错误，突显了混合人工智能方法在智能开发者辅助方面的潜力。