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