大学讲师用 Claude Code 把课件变成 5 分钟搭好的课堂演示环境

一位软件分析课讲师把每节课的静态讲义喂给基于 Claude Code 的 agentic 框架，自动生成课堂 live demo。过去要花数小时调试 AFL++（随机测试）和 Dafny（定理证明）的环境配置，现在该框架自主在 5 分钟内给出带 Web UI 的独立 Docker 容器。