前言¶

在 DeepSeek Harness（DSH）里跑智能体时，很多判断其实很窄：是/否、多选一、按 rubric 打分、路由到固定分支。若全部交给主推理模型，会占用上下文和 token，且同一家族的 LLM 自审往往只是「自己同意自己」。社区插件 dsh-typesafe（维护者 979569650，GitHub 约 2 stars，SkillHub 分类为工作流，当前版本 v0.1.0）把 TypeSafe Jev（System One decision model）接进 DSH，作为独立架构的决策层：带校准概率的 cheap call、置信度门控路由、会话成本计数，以及对不可信工具结果的自动 prompt-injection 筛查。

下面介绍它是什么、提供哪些能力，以及如何按仓库 README 安装与配置。

这是什么¶

dsh-typesafe 在 DSH 侧注册三个工具、一段 prompt section、一条 tools/post-execute 守卫 hook，以及会话命令 /typesafe。Jev 面向「可枚举、机械、窄域」的判断；主模型仍负责开放推理，插件 README 用 prompt section 说明何时值得换 Jev、何时不必。

Settings 卡片随 Settings → General → Language 提供中英文；API 密钥通过凭证存储或环境变量注入，不会写进 settings.yaml 明文响应。

核心功能¶

三个 Jev 工具¶

Prompt section 与自动守卫¶

• Prompt section：三条具体规则，告诉智能体 Jev 何时优于再开一轮推理、何时不必；README 强调没有这段时工具存在但容易被忽略。默认 promptOrder 为 700（行为规则带 TEAM_POLICY 600 … PTC_ONLY 800）。
• Automatic guard：tools/post-execute 在模型阅读前筛查 web_fetch、web_search、read_page 及 fetch 类 MCP 工具等结果；策略为 fail-open（失败时不改内容但会标注，避免与「已筛查且干净」混淆）。
• /typesafe：输出本会话的 TypeSafe 调用次数、输入 token 与估算费用。

README 中的实测数据（jev-latest，非厂商宣传）¶

单次 screen 约 \(0.0000235**；README 记载整轮验证约 **\)0.000094。

字段测试：智能体是否会自发使用¶

README 用 28 条中文工单 triage、任务描述不提 TypeSafe 的三组会话对比：旧文案且 promptOrder 2750 时，在「写 triage.py」这类编码形态任务下 0 次调用；改写为「识别触发器」（例如即将写关键词/正则分类前先问 Jev；不要把「不确定」猜出来——低 confidence 即机器可读的不确定）并将 order 调到 700 后，1 次 typesafe_decide、28 个问题一次打完。第三次会话中，智能体用 Jev 审计自写规则（问「该工单分类是否无争议」），并用概率分布纠正关键词层误报。

安装与启用¶

DSH 社区目录在 SkillHub 展示该插件（来源 GitHub，与 DeepSeek / 幻方无官方从属关系）。取得插件源码或发布包后，在插件目录执行 README 中的安装脚本：

node scripts/install.mjs

脚本会做三件事：把本包 node_modules 链到 profile、在 profile 里 pnpm add link:<this dir>、把 dsh-typesafe 写入 dsh.profile.bundles（否则 loader 不会读 cordis.patch.yml）。非默认 profile 可显式传路径；卸载示例：

node scripts/install.mjs "%DSH_HOME%\profiles\desktop"
node scripts/install.mjs --uninstall

完成后 重启 DSH（或依赖 patchReload: live 拾取 bundle 变更）。host 与 browser 两半需分别确认；README 建议在 host 日志中查找 dsh-typesafe: Jev tools registered (model jev-latest)。

配置 API Key¶

推荐：Settings → Plugins → Plugin configuration → TypeSafe（卡片在插件列表末尾，绿点表示已存 key）。

无 UI 时可用：

node scripts/set-key.mjs sk-your-key
node scripts/set-key.mjs --status
node scripts/set-key.mjs --unset

也可在启动 DSH 的环境中设置 TYPESAFE_API_KEY（环境变量优先于存储 key）。密钥在 TypeSafe Console 申请。配置后可在会话中执行 /typesafe 验证。

常用配置项（可在 Settings 卡片或 profile 的 cordis.patch.yml 覆盖，均有默认值）包括：enabled、model（默认 jev-latest）、promptOrder（默认 700）、guardEnabled、guardTools（glob 匹配外部文本类工具）、guardWarnThreshold、guardMinChars 等；完整表格见 GitHub README「Configuration reference」。

典型用法¶

1. 批量 typed 判断：对一段工单或反馈文本调用 typesafe_decide，在一次请求里并列多个 noul / choice / score 问题（README 实测最多一次 45/28 个问题）。
2. 固定分支路由：用 typesafe_route 在预定 destination 间选择，并设 min_confidence；低于阈值时把「不确定」当作显式 escalation 信号，而不是让主模型口头猜测。
3. 不可信内容：对外部 fetch 结果依赖自动 guard；需要主动审计某段文本时调用 typesafe_screen。typesafe_screen 对 injection 与 harm 分开提问；verdict 为 blocked / review / clear（阈值逻辑见 README）。
4. 成本可见：长会话中定期看 /typesafe，对照 README 公布的单次 call 量级（约 $10⁻⁵ 美元）评估是否值得用 Jev 替代一轮推理。

仓库还提供会话审计脚本（需在插件目录、已知 sessionId 时使用）：

node scripts/audit-session.mjs <sessionId>
node scripts/dump-call.mjs <sessionId>

适用场景与注意¶

更适合：文本 triage、路由、规则引擎自检、对外部网页/MCP fetch 结果做 injection 筛查等窄域、可枚举决策；希望多一条与主 LLM 不同架构的独立信号时。

需注意：

• 插件以 当前 DSH 进程权限 运行，安装前请阅读 979569650/dsh-typesafe 源码与许可证（package.json 标注 MIT）。
• 没有 prompt section 或 order 落在工具目录深处时，智能体可能「有工具不用」；README 的长上下文说明里提到 system prompt 按请求重组、compaction 不覆盖 node 0，但 memory 等 order 更靠前的 section 仍可能占篇幅——需关注 promptOrder 与 section 文案。
• Guard 对短于 guardMinChars 的自动筛查会跳过；fail-open 意味着 API 故障时内容仍会到达模型，但应带标注——阅读工具输出时需区分「已筛查」与「守卫未运行」。
• 中文场景 README 有实测，但文档仍称 CJK 相对弱；阈值与 model 若 pinned，升级 Jev 版本后宜复测。

结尾¶

dsh-typesafe 把 TypeSafe Jev 收成 DSH 上的决策层：typed 工具、置信度路由、不可信结果 guard 与会话成本表，并用 prompt section 推动智能体在合适节点调用。目录与版本信息见 SkillHub 插件页，安装细节、配置表与测试说明以 GitHub 仓库 README 为准。