@tokens-as-parameters/proof-verification形式化验证器服务接缝与提供者注册表。
發現最好的 DSH 插件
DeepSeek Harness 插件 — 第 553 頁
23256個結果
搜尋 DeepSeek Harness 社群插件，比較用途、安裝方式與相容資訊，為你的 AI 工作流程找到合適的擴充。
@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 管理插件，配备高级控制中心面板。
@tolten/image-attachDSH 输入框一键图片粘贴插件，支持自动切换至多模态视觉模型并在完成后恢复原模型。
@tommyfang/git-clis-dsh适用于 GitHub (gh) 和 Gitea (tea) CLI 的 DSH 插件：支持检测/安装、引导式 Token 配置及 Issue 操作。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:TommyFang2077/git-clis-dsh@tomowang/dsh-data-agent数据库连接管理与SQL执行工具
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:tomowang/dsh-data-agent@tr1v3r/dsh-ltm结构化长期记忆管理插件
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:tr1v3r/dsh-ltm@trisoul/dsh-apiTriSoul 中枢 API 插件，提供统一/精细双模式的模型配置管理、后台 AI 监控统计及 API 路由。
@trisoul/dsh-canvasTriSoul 画布编排器插件，提供会话内状态区管理、LLM小作业提炼注入、上下文膨胀检查及手术后探针验收。
@trisoul/dsh-consensusTriSoul 多体共识插件，拦截 DSH 主循环并实现 N 路盲写与匿名两票制表决机制。
@trisoul/dsh-guardTriSoul 安全门插件，在工具执行前对危险命令进行拦截与拒绝。
@trisoul/dsh-memoryTriSoul 多层隔离记忆中枢插件，支持全局/跨项目/项目三层隔离、覆盖链就地更新及事件游标续传。
@trisoul/dsh-surgeonTriSoul 上下文手术刀插件，实现自定义区域手术式压缩，取代系统自动压缩。
@trujaycc/dsh-ui-easyfoldDSH Web GUI 的易折叠增强插件，提供粘性“思考（Think）”折叠行以及针对长展开内容的滚动补偿。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:MrTrujay/dsh-ui-easyfold@trujaycc/dsh-weixin-minigame在 DSH Web GUI 中预览、调试（日志与截图）并发布微信小游戏的插件。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:MrTrujay/dsh-weixin-minigame@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@try-works/dsh-righthandDSH 原生右手工具插件：提供持久化 KV 存储、凭证与设置管理、受控执行以及工具守卫功能。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:try-works/dsh-righthand@ttmouse/dsh-chat-history仿 ChatGPT 的对话历史侧栏，悬停列出用户消息并可点击跳转。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:ttmouse/dsh-chat-history@ttmouse/dsh-generative-ui在对话流中直接输出并沙箱渲染可交互 HTML 组件
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:ttmouse/dsh-generative-ui@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@tumi-huakai/dsh-plugin-meow-speech喵语定制插件，为 DSH 消息正文提供可配置的显示层文本替换功能（不改动真实对话）。
$ npx -p @deepseek-ai/dsh dsh plugin --profile web add github:tumi-huakai/dsh-plugin-meow-speech從探索到安裝，找到適合你的插件
依任務尋找
使用功能關鍵字或分類縮小範圍，再依最近更新或 GitHub Star 排序。
了解插件能力
查看插件簡介、AI 分析與原始 README，確認它能解決什麼問題。
確認後安裝
檢查相容狀態、依賴範圍與安裝說明，複製詳情頁提供的指令。
關於 DSH Hub 的常見問題
DSH Hub 是什麼？
DSH Hub 是 DeepSeek Harness 社群插件目錄，彙集插件介紹、原始碼連結與安裝說明，協助你探索與比較擴充。
收錄是否代表已測試相容？
不代表。詳情頁顯示目錄記錄的相容狀態與依賴範圍；未知狀態不等於相容，安裝前請參考專案文件確認。
如何安裝插件？
開啟插件詳情頁並查看安裝區域。有指令時可複製到 Harness 環境執行；沒有指令時，請依專案 README 操作。