Coding-Tutorは、大規模言語モデル（LLM）に基づいたプログラミング指導ツールです。対話型インタラクションを通じて学習者のプログラミング能力向上を目指しています。知識追跡と逐次検証を組み合わせたTrace-and-Verify（Traver）ワークフローにより、プログラミング指導における重要な課題を解決します。このツールはプログラミング教育だけでなく、他のタスク指導の場面にも拡張でき、学習者の知識レベルに合わせて教育内容を調整できます。オープンソースであり、コミュニティによる貢献を歓迎します。