dsh-tool-strict-check
catsenior507/dsh-tool-strict-check
为 DeepSeek Harness 提供 strict_check 工具,用 Lean 4 内核、语言编译器与 shell 危险规则真实校验代码和命令,杜绝模型自我复读式的假通过。
dsh plugin --profile web add github:catsenior507/dsh-tool-strict-check#v0.1.0
- 星标
- 1
- 复刻
- 0
- 更新
- 2026-09-10
JavaScript MIT Lean 4 内核严格校验,sorry 即失败 · 多语言编译器批量语法检查 · shell 命令静态危险规则扫描