学生急着要答案
导师坚持追问证据与判断，不直接代写完整修复。
面向初学者编程调试训练的苏格拉底式引导工具
让每一次报错，都成为一次可复用的推理训练。
它不是替学生直接改代码的答案生成器，而是把学生带回 看证据、提猜想、做验证、再修正 的调试过程。
当前版本：2.6 · 桌面端原型 · 适合课堂试用与项目评审
调试会话
Σ
导师追问
你先不要急着改代码。请说清楚：你期望程序输出什么？现在实际输出或报错是什么？
观察：程序目标与当前现象
猜想：我怀疑问题在循环边界，因为输出少算了一项
验证：在临时代码副本里运行最小测试
修正：回到原代码做最小修改并复测
4阶段递进
3本地记录
1临时验证窗口
一句话定位
从“要答案”转向“会调试”。
初学者真正缺的常常不是一段修复代码，而是从报错、输出、变量状态和代码逻辑中建立证据链的能力。 Socratic Debug Mentor 2.6 将调试思维显性化，让学生在每一轮交互中留下清楚的小推理。
课堂痛点 × 对应设计
它解决的不是代码问题本身，而是调试习惯问题。
学生没有说清目标
观察期优先追问程序目标、当前现象与报错信息。
学生猜想不可验证
猜想期要求写成“我怀疑……因为……”的可检验判断。
学生直接改原文件
验证期进入临时代码副本，小实验不影响原文件。
四阶段调试流程
观察、猜想、验证、修正。
四阶段必须递进。不要在观察不清楚时猜修法，也不要在没有明确猜想时进入验证。
01
观察：说清目标与现象
先运行主程序，说明程序目标、当前现象、报错或不符合预期的输出。进入下一步的标志是：目标和问题已经清楚。
界面组成
左侧看代码与终端，右侧留下推理过程。
代码区
打开、编辑或新建本地代码文件。先保证左侧是当前真实代码，再进入引导。
终端区
运行主程序并查看真实输出、报错或交互输入，把结果作为观察证据。
导师区
显示苏格拉底式追问、阶段引导和下一步动作。学生需要写下自己的判断。
临时验证窗口
在原代码副本中做最小实验，并使用独立控制台运行，不影响原文件。
学习文件抽屉
查看聊天记录、学生画像和知识点摘要，课后复盘高频错误模式。
模型配置
支持 Gemini 默认模型与自定义模型，需配置 API Key、Model ID、Base URL 等。
高效使用
学生和教师看到的是同一个工具，但关注点不同。
学生要练习证据链，教师要观察学生是否跳过猜想、是否能设计最小验证。
学生使用方法
- 每次提问前先运行主程序，不要凭印象描述错误。
- 观察期写“我希望程序……但现在……”。
- 猜想期写“我怀疑问题在……因为……”。
- 验证期只做一个小实验，不在临时代码里顺手改完整答案。
下载与安装
发布给老师、同学或评委的小范围测试版。
当前版本尚未进行商业级代码签名。Windows 可能显示 “Windows protected your PC” 或“未知发布者”。 这不是长期正式发布方案，但适合早期演示与课堂试用。
若你使用 GitHub Releases，请在 app.js 中把 DOWNLOAD_URL 改成真实 release 链接。
若你直接把安装包放在网站中，请命名为 Socrates_Debug_Mentor_2.6_Windows.zip 并放入 release/ 文件夹。
测试版说明
- 只从本页或官方测试链接下载。
- 不要运行他人转发的未知副本。
- 不要关闭 Windows Defender 或永久关闭 SmartScreen。
- 正式公开发布时应使用代码签名证书。
推荐课堂流程
45 分钟即可完成一次完整调试训练。
10 分钟
教师演示一次完整四阶段：运行、观察、猜想、验证、修正。
20 分钟
学生独立用应用调试一个小错误，必须保留阶段记录。
10 分钟
两人一组互看知识点摘要，说出自己的一个高频问题。
5 分钟
教师总结：重点不是谁最快改对，而是谁的证据链最清楚。
常见问题