dsh-runtime
9 ★
不要让 Model 为确定性问题反复思考,也不要让 Harness 为不确定的问题假装知道答案
Workspace
Author
DeepSeek Harness plugins published by @goatliamia on GitHub.
不要让 Model 为确定性问题反复思考,也不要让 Harness 为不确定的问题假装知道答案
No description
把 DSH 已保存的会话轨迹重新可达:3 个查询工具 + 1 条纪律的极薄历史查询层(不是 Memory)
Model Capability Facade for DeepSeek Harness: declare one semantic capability, get typed model-facing operations that run a deterministic pipeline of existing tools.
让插件卸载不再静默:相对声明观察面的可逆性判定定理(Lean 4 形式化)+ 三态判决(verified-reversible / declared-irreversible / unknown)