@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 操作。