Git-Assistant is an AI-based assistant that integrates Large Language Models with automated planning to help developers execute complex git operations. It analyzes repository context and translates natural language requests into actionable command sequences while ensuring correctness through formal reasoning.
The system incorporates planning techniques to improve the reliability of repository management tasks. A systematic evaluation using synthetic and randomized git environments compared LLM-only variants against planning-augmented ones across multiple metrics.
Experimental results demonstrate that integrating formal reasoning with LLMs reduces errors in repository management, highlighting the potential of hybrid AI approaches for intelligent developer assistance.