公式计算引擎 curtainsmall/dsh-reckoner

DeepSeek Harness Reckoner

面向 DeepSeek Harness 的计算引擎，用来强制 LLM 通过确定性程序求值，而不是靠文本生成。

目录

- DeepSeek Harness Reckoner
- 目录
- 安装
- Reckoner 预设
- 引擎
- 基础
- 记录
- 文章生成
- 配置
- 文档
- 许可

安装

dsh plugin --profile <profile> add dsh-reckoner

Reckoner 预设

本包附带两个智能体预设：
| 预设 | id | 工具 | 外部来源 |
| Reckoner | reckoner | 记录工具与求值工具 | 全部知识来自 LLM |
| Reckoner with search | reckoner-with-search | 与 Reckoner 预设相同的工具，外加网页检索工具 | 包含网页检索结果 |

会话只拿到本插件的工具，别无其他：没有 shell、没有文件系统、没有网络、没有子代理。因此一次求值中的每个数字，要么是 LLM 用 set 存入的值，要么是 eval 产生的结果。当给出的条件不足以求解时，LLM 应停下并指出。

Reckoner with search 预设另外提供检索工具，供 LLM 到网上查找外部知识。

引擎

基础

每个宿主进程运行一台引擎，所有会话的调用都作用于它。它是一台不含领域知识的计算器。LLM 把条件中给出的量 set 进引擎，自行构思思路并写下公式交给 eval 求值，再取回结果用于输出。
| 工具 | 作用 |
| set | 写入一个槽；value: null 删除该槽 |
| get | 读回一个槽；这是读取值的唯一方式 |
| eval | 把一条公式的结果写入 target 指定的槽 |
| record_start / record_end | 开启与封闭一条记录 |
|record_message|把说明写进记录|
search（仅 Reckoner with search 预设）|在网页上检索|

一个值是数字、复数、值的数组或具名值的对象。在引擎里，单位以 SI 基本单位的组合表示。一条公式就是作用于各槽的一个表达式，含 + - * / ^ 以及一组 $ 符号与常量。没有比较、没有逻辑、没有赋值。调用返回 {ok: true, ...} 或 {ok: false, code, error}，被拒绝时不改变任何状态。

记录

一条记录就是一次计算的过程：它的标题、条件、说明、求值步骤与可选的结束语。

已封闭的记录在 <home>/records/<id>.jsonl，尚未封闭的那条在 <home>/open-record.jsonl，封闭时后者被重命名为前者，因此封闭的记录总是完整的。

完整参考见引擎手册（English）。

文章生成

每条已封闭的记录都可以写成一篇独立的文章。宿主侧 LLM 调用以纯文本接收记录事实，数字截到最多四位小数。
| 格式 | 产物 |
| Markdown | 平铺的 .md 文件 |
| LaTeX | .tex 源文件写入以文件名命名的目录，按需编译为 PDF |

对 LaTeX，PDF 编译交由 latexmk 或 MiKTeX 的 texify 完成，并需要 xelatex 引擎；勾选编译而没有可用驱动或引擎时，「生成」按钮禁用，对话框指明缺少的部分。

配置

| 设置 | 含义 |
| DSH_RECKONER_HOME | 插件主目录，默认 ~/.dsh-reckoner |
| DSH_RECKONER_LOG_LEVEL | debug、info、warn、error 或 off；默认 info |

主目录存放未封闭的记录（open-record.jsonl）、已封闭的记录（records/<id>.jsonl）、插件状态与日志（logs/<YYYY-MM-DD_HH-mm-ss.SSS>.log，每次插件挂载一个文件）。状态文件 state.json 是一棵树：每个会记忆设置的模块一个子树，外加扁平的 restartRequired 标记。

文档

| 文档 | 内容 |
| 引擎手册（English） | 引擎的长篇参考 |
| reckoner-interface、reckoner-template | Reckoner 模式下智能体所读的手册 |
| 参与贡献（English） | 环境搭建、提交规范、发布流程 |

许可

MIT。Copyright (c) 2026 curtainsmall