Coding-Tutor est un outil d'aide à la programmation basé sur les grands modèles de langage (LLM), conçu pour aider les apprenants à améliorer leurs compétences en programmation grâce à une interaction conversationnelle. Il utilise un workflow Trace-and-Verify (Traver), combinant le suivi des connaissances et la vérification itérative, pour résoudre les défis clés de l'aide à la programmation. Cet outil convient non seulement à l'enseignement de la programmation, mais peut également être étendu à d'autres scénarios d'aide aux tâches, permettant d'adapter le contenu pédagogique au niveau de connaissance de l'apprenant. Le projet est open source et encourage les contributions de la communauté.