dsh-reckoner

大模型在解题、核算或推演时，很容易用“看起来像对的”文字代替可复核的数值过程。DeepSeek Harness Reckoner 把这类任务收拢到一套确定性计算引擎里：模型通过 set、get、eval 写入条件、编排公式并读取结果，而不是靠自由生成来“凑答案”。

每个宿主进程共享一个无领域知识的计算器；会话里只暴露 Reckoner 相关工具（Reckoner 预设不含 shell、文件系统、网络与子代理；带搜索的预设额外提供网页检索）。条件不足时，模型应停止并说明缺口。演算过程可记入 record，关闭后落盘，并可按需生成 Markdown 或 LaTeX 文章，把步骤与结论整理成可读文稿。

适合需要在 Harness 里做可审计数值演算的团队与个人：财务与工程估算、教学演示、需要把“算过一遍”的过程留痕的场景。若问题依赖外部事实，可选用 Reckoner with search，在仍由 eval 承担算术的前提下补充检索信息。