前言¶

在 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 爲準。