◌
观察
运行主程序，说明目标、现象与真实报错，让脑图从证据出发。
SOCRATIC DEBUGGING · REIMAGINED
让每一次报错，
成为一次推理训练。
Socrates 不直接替学生改代码，而是把报错、输出、变量状态和逻辑关系组织成可见的证据链， 再通过观察、猜想、验证与修正，带学生独立找到答案。Socrates 是桌面端应用，目前不提供 iOS 或 Android 版本。
2.6 · 基础四阶段调试
2.7 · 多会话与多模态
3.0 · 问题定位脑图
?提出问题
⌁寻找证据
</>最小验证
I
真正的调试能力，不是记住某个答案，
II
而是知道应当观察什么、怀疑什么，
III
以及如何用最小实验让证据说话。
THE 3.0 EXPERIENCE
古典问答的精神，进入现代调试工作台。
玻璃并不是装饰，而是一层可移动的思考界面：代码在左，证据在中，导师的追问在右。
代码与终端Python
1scores = [81, 76, 92]
2total = 0
3for index in range(4):
4 total += scores[index]
5print(total / len(scores))TERMINAL● live
› python debugging_session.py
IndexError: list index out of range
›
问题定位脑图Mindmap Agent
挑战节点
循环边界与列表长度不一致
先确认 range(4) 会生成哪些索引，再与 scores 的合法索引范围比较。
Socrates导师追问
scores 里有几个元素？当 index 等于 3 时，程序会尝试访问什么？
当前证据
列表长度：3
循环次数：4
先描述你观察到的现象，不要急着修改代码。
PRODUCT IN MOTION
从全局工作台，到每一个可验证的细节。
真实界面截图让产品能力直接可见。点击任意画面可放大查看，不再让长段文字承担全部说明。
A DISCIPLINED LOOP
四个阶段，构成完整的推理闭环。
◇
猜想
把直觉写成“我怀疑……因为……”，使判断可以被验证。
⌁
验证
在独立沙盒副本中做最小实验，观察结果支持还是反驳猜想。
✓
修正
回到主文件完成最小修改并复测，让经验沉淀为可复用知识。
EVOLUTION OF SOCRATES
每一次升级，都在让学生拥有更多思考主动权。
2.6
建立核心方法
用苏格拉底式追问和四阶段流程，替代直接给答案。
2.7
接纳更多上下文
加入多会话、文件与图片输入，让真实课堂证据进入调试过程。
3.0
让推理结构可见
通过问题定位脑图、验证沙盒和学习档案，把思维过程显性化。
DOWNLOAD CENTER
选择适合你的 Socrates 版本。
每个“下载”按钮都会进入对应的正式发布页。Socrates 为桌面端应用，当前不提供 iOS 或 Android 版本。
ARCHIVE
2.6
四阶段调试基础版
适合体验最纯粹的苏格拉底式调试流程：观察、猜想、验证、修正。
- 启发式导师追问
- 基础代码与终端工作区
- 本地学习记录
MULTIMODAL
2.7
多会话多模态版
让代码文件、终端输出和图片证据进入同一个调试上下文。
- 多会话管理
- 文件与图片输入
- 记忆刷新与历史检索
CURRENT VISION
3.0
问题定位脑图版
让故障拓扑、挑战节点、验证沙盒和学生学习档案共同组成完整闭环。
- 可交互问题定位脑图
- 独立临时验证沙盒
- 学生画像与知识点摘要
2.6、2.7 与 3.0 分别进入各自的正式 Release。使用说明可在站内逐页阅读，同时保留原始 PDF 下载。
macOS INSTALLATION
未签名学生作品的 macOS 打开方法。
Socrates 是学生作品，目前没有 Apple 开发者签名与公证。macOS Gatekeeper 会检查从网络下载的应用，因此可能提示“无法验证开发者”或“Apple 无法检查是否包含恶意软件”。请只从本页指向的官方 GitHub Release 下载。
01
移动到“应用程序”
打开下载的 DMG，将 Socratic Debug Mentor.app 拖入“应用程序”文件夹。
02
先尝试打开一次
在“应用程序”中双击 Socrates。若系统拦截，请关闭提示窗口。
03
进入“隐私与安全性”
打开“系统设置”→“隐私与安全性”，向下滚动到“安全性”区域。
04
选择“仍要打开”
在 Socrates 的提示旁点击“仍要打开”，再次确认后点击“打开”。系统会把该应用保存为例外。
QUESTION BEFORE ANSWER