Git-Assistant est un assistant basé sur l'IA qui intègre des modèles de langage larges (LLM) avec une planification automatisée pour aider les développeurs à exécuter des opérations git complexes. Il analyse le contexte du dépôt et traduit les requêtes en langage naturel en séquences de commandes actionnables, tout en garantissant l'exactitude par un raisonnement formel.
Le système intègre des techniques de planification pour améliorer la fiabilité des tâches de gestion de dépôt. Une évaluation systématique utilisant des environnements git synthétiques et randomisés a comparé les variantes uniquement LLM aux variantes augmentées de planification sur plusieurs métriques.
Les résultats expérimentaux démontrent que l'intégration du raisonnement formel avec les LLM réduit les erreurs dans la gestion des dépôts, mettant en évidence le potentiel des approches d'IA hybride pour l'assistance intelligente aux développeurs.