Coding-Tutor

Explores the potential of large language models as programming tutoring tools and proposes the Trace-and-Verify workflow.

CommonProductEducationProgramming EducationLarge Language Model

Visit

Coding-Tutor is a programming tutoring tool based on a large language model (LLM), designed to help learners improve their programming skills through conversational interaction. It addresses key challenges in programming tutoring through a Trace-and-Verify (Traver) workflow that combines knowledge tracing and round-by-round verification. This tool is not only suitable for programming education but also extensible to other task tutoring scenarios, helping to adjust teaching content according to the learner's knowledge level. The project is open source and supports community contributions.

Product Finder

Product Submit

AI Models Finder

MCP Servers

MCP Client

MCP Inspector

Case Tutorials

Latest AI News

AI Daily Brief

Coding-Tutor

Coding-Tutor Visit Over Time

Coding-Tutor Visit Trend

Coding-Tutor Visit Geography

Coding-Tutor Traffic Sources

Coding-Tutor Alternatives

Mistral-Large-Instruct-2407 — Advanced large language model with reasoning and programming capabilities.

Coding-Tutor — Explores the potential of large language models as programming tutoring tools and proposes the Trace-and-Verify workflow.

Code Llama — An advanced large language model for programming.

Meta-Llama-3.1-405B-Instruct — A multilingual large language model optimized for conversational contexts.

OpenCompass 2.0 Large Language Model Leaderboard — A real-time large language model leaderboard that provides comprehensive performance assessments.

MinMo — MinMo is a multimodal large language model designed for seamless voice interaction.

Ziyu Education Large Model — Supports virtual speech coach for AI personalities.

InternVL2_5-8B-MPO-AWQ — A multimodal large language model enhancing visual and linguistic interaction capabilities.

Nemotron-4-340B-Base — A large language model supporting text generation in multiple languages and programming languages.

MNN Large Model Android App — A fully functional Android app supporting multimodal capabilities with a large language model.

Dria-Agent-α — Dria-Agent-α is a large language model tool interaction framework based on Python.

Conversational Video Interface — The next generation of emotionally intelligent conversational video interface, making AI interaction more natural and human-like.

Doubao Large Model — A large model developed by ByteDance, providing multimodal capabilities.

Ollama — Local Large Language Model

BlueLM Large Model — An independently developed intelligent language understanding model by vivo

InternVL2_5-2B — A multimodal large language model that supports deep interaction between images and text.

Pixtral-Large-Instruct-2411 — A 124B-parameter multimodal large language model.

Cyber Square — Education AI Programming Platform

Jockey — A conversational video agent combining large language models with video processing APIs.

Xingchen Semantic Large Model — A trillion-parameter large model launched by China Telecom

VITA-1.5 — VITA-1.5: A GPT-4o level multimodal large language model for real-time visual and speech interaction.

Baichuan 3 — A large language model with over trillion parameters

Llama-3[8B] Meditron V1.0 — An 8 billion parameter large language model (LLM) based on biomedical data

ultravox-v0_4_1-llama-3_1-8b — Multimodal speech large language model

TinyGPT-V — Efficient multimodal large language model

Llama-3.2-3B — Multilingual Large Language Model

NVLM-D-72B — State-of-the-art multimodal large language model

Mistral-7B-v0.3 — A large language model with an expanded vocabulary.

InternVL2_5-2B-MPO — Advanced multimodal large language model

Shire — An AI programming agent language that facilitates communication between large language models (LLMs) and integrated development environments (IDEs) for automated programming.