@tokens-as-parameters/proof-agent可替换的形式化证明智能体提供者注册表。
發現最好的 DSH 插件
Agent 協作 · DeepSeek Harness 插件 — 第 212 頁
7395個結果
尋找智慧代理編排、多 Agent 協作與任務執行插件。
@tokens-as-parameters/proof-contracts框架无关的形式化证明用例、回执、运行与信任契约定义。
@tokens-as-parameters/proof-loss可替换的形式化证明损失提供者注册表。
@tokens-as-parameters/proof-observer持久化证明运行快照与事件账本，关联 DSH 会话。
@tokens-as-parameters/proof-runtime在核心训练运行时上适配形式化用例、会话、Git 状态与结果。
@tokens-as-parameters/proof-verification形式化验证器服务接缝与提供者注册表。
@tokens-as-parameters/prover-code-agent基于官方 DSH 代码智能体的形式化证明提供者。
@tokens-as-parameters/tool-proof-run面向模型的不可变用例发现与形式化证明实验运行控制。
@tokens-as-parameters/ui-proof-runDSH Web 中查看证明运行实时状态并提供直接控制。
@tokens-as-parameters/verifier-leanLean 构建、冻结输入、定理签名、卫生与公理验证适配器。
@tolten/aegisDSH 项目级规则、技能、宪法与 MCP 管理插件，配备高级控制中心面板。
@tomowang/dsh-data-agent数据库连接管理与SQL执行工具
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:tomowang/dsh-data-agent@trisoul/dsh-apiTriSoul 中枢 API 插件，提供统一/精细双模式的模型配置管理、后台 AI 监控统计及 API 路由。
@trisoul/dsh-canvasTriSoul 画布编排器插件，提供会话内状态区管理、LLM小作业提炼注入、上下文膨胀检查及手术后探针验收。
@trisoul/dsh-consensusTriSoul 多体共识插件，拦截 DSH 主循环并实现 N 路盲写与匿名两票制表决机制。
@trisoul/dsh-guardTriSoul 安全门插件，在工具执行前对危险命令进行拦截与拒绝。
@trisoul/dsh-memoryTriSoul 多层隔离记忆中枢插件，支持全局/跨项目/项目三层隔离、覆盖链就地更新及事件游标续传。
@trisoul/dsh-surgeonTriSoul 上下文手术刀插件，实现自定义区域手术式压缩，取代系统自动压缩。
@try-works/dsh-browser-agent为 Agent 提供的 Chrome 浏览器 DSH 捆绑包，包含网页跳转、执行、截图工具，并在 DSH Web 界面中提供双向交互面板。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:try-works/dsh-browser-agent@ttmouse/dsh-chat-history仿 ChatGPT 的对话历史侧栏，悬停列出用户消息并可点击跳转。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:ttmouse/dsh-chat-history@ttxl314/dsh-skill-lord-serfDSH 插件：提供 Lord/Serf 智能体协议 0.5 技能，实现基于文件的多智能体协同、有界执行与模式验证交付。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:ttxl314/dsh-skill-lord-serf@useorgx/deepseek-harness-plugin为 DSH 提供 OrgX MCP 工具、工作账本访问及主权执行对等节点支持的插件。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:useorgx/orgx-deepseek-harness-plugin@user/dsh-openclaw-personaDSH 配置包插件：自动将工作区 openclaw 目录下的 OpenClaw 风格角色设定文件加载至 DSH 会话中。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:AskingTheHeavens/dsh-openclaw-persona@uu88s/dsh-session-handoff复制会话ID或将整个会话交接给Codex
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:uu88s/dsh-session-handoff從探索到安裝，找到適合你的插件
依任務尋找
使用功能關鍵字或分類縮小範圍，再依最近更新或 GitHub Star 排序。
了解插件能力
查看插件簡介、AI 分析與原始 README，確認它能解決什麼問題。
確認後安裝
檢查相容狀態、依賴範圍與安裝說明，複製詳情頁提供的指令。
關於 DSH Hub 的常見問題
DSH Hub 是什麼？
DSH Hub 是 DeepSeek Harness 社群插件目錄，彙集插件介紹、原始碼連結與安裝說明，協助你探索與比較擴充。
收錄是否代表已測試相容？
不代表。詳情頁顯示目錄記錄的相容狀態與依賴範圍；未知狀態不等於相容，安裝前請參考專案文件確認。
如何安裝插件？
開啟插件詳情頁並查看安裝區域。有指令時可複製到 Harness 環境執行；沒有指令時，請依專案 README 操作。