← Back to home

Author

@goatliamia

DeepSeek Harness plugins published by @goatliamia on GitHub.

dsh-runtime

9 ★

不要让 Model 为确定性问题反复思考,也不要让 Harness 为不确定的问题假装知道答案

Workspace

dsh-plugin-maker

2 ★

No description

Coding

dsh-trajectory-query

2 ★

把 DSH 已保存的会话轨迹重新可达:3 个查询工具 + 1 条纪律的极薄历史查询层(不是 Memory)

Memory

dsh-capability-facade

0 ★

Model Capability Facade for DeepSeek Harness: declare one semantic capability, get typed model-facing operations that run a deterministic pipeline of existing tools.

Tools

dsh-observable-reversibility

0 ★

让插件卸载不再静默:相对声明观察面的可逆性判定定理(Lean 4 形式化)+ 三态判决(verified-reversible / declared-irreversible / unknown)

NewCoding