dsh-mcu-lab

51 单片机的作业验证过去很依赖人眼：盯着 Proteus 里 LED 亮没亮、数引脚编号漂没漂移，或者让视觉模型读一张截图再猜判定。结果不稳定，复现更难。dsh-mcu-lab 把 Keil C51 编译、Proteus 仿真、确定性判定这条三步链路直接接进 DSH 会话，你在对话里说一句简短指令就能拿到带证据链的 PASS 或 FAIL。

核心是五个工具加一个纯标准库的 Python 内核。判定不靠截图、不靠人工目测，而是两层确定性指标：编译是否产出 hex、仿真进程 CPU 是否在增长、有没有失败标记文本。没有 Keil 时可走 SDCC 免费编译路线，仿真环节仍由 Proteus 完成。每个工具返回结构化 JSON，退出码清晰区分成功、业务失败与入参缺失。

适合用 Keil C51 和 Proteus ISIS 做 8051 课程作业或小型硬件项目的开发者。不必再开两个窗口来回切换，在 DSH 对话里说一句自然语言指令就能完成编译、仿真、判定全流程，并拿到具体失败阶段与日志尾部。