ggb-plugins-dsh:把平面几何题落成可验证的 GeoGebra 文件
ggb-plugins-dsh(0.8.5)是 Jack7510 为 DeepSeek Harness 发布的客户端插件:宿主智能体根据中英文题面或图片编写 GeoGebra 原生程序,本地 CLI 无头执行、逐条验证条件后交付 .ggb、verification.json 与预览图。安装需 Node.js 22+、pnpm 11、curl/unzip 及 Chrome 或 Edge;官方命令为 dsh plugin add ggb-plugins-dsh@0.8.5 后运行 setup-plugin.mjs。支持二维几何等范围,不做一般证明;插件以 DSH 进程权限运行,安装前宜核对 MIT 源码与许可证。
阅读全文