DeepSeek Harness plugins — Page 553

Formal-verifier service seam and provider registry

Official DSH Code Agent based formal Prover provider

Model-facing controls for discovering immutable cases and running formal-proof experiments

DSH Web view for live formal-proof runtime state and direct controls

Lean build, frozen-input, theorem-signature, hygiene, and axiom verifier adapter

The shield that makes DeepSeek Harness infallible on any project — .agents rules/skills/constitution + MCP (global & project) + premium Control Center panel.

One-click MD3 image attachment for the DeepSeek Harness composer, with automatic per-session vision-model routing: attach an image and the session switches to a vision model, then restores your previous model.

DeepSeek Harness (dsh) plugin for GitHub (gh) and Gitea (tea) CLIs: detect/install, guided token config, and issue operations.

DeepSeek Harness (dsh) plugin: manage database connections, browse and annotate schemas, and run SQL (with a read-only toggle and chart rendering), both conversationally and from the Web UI's Settings page.

Structured long-term memory for DeepSeek Harness: CJK-aware tokenized search, hybrid rerank, dedupe, expiry review, and migration from dsh-memory — zero mandatory network

TriSoul 中枢 API：模型配置（统一/精细两模式，settings 命名空间）+ 后台 AI 监控统计 + /trisoul/api/* 路由

TriSoul 画布编排器（M5 + C）：agent/pre-step 步边界检查表面上下文膨胀，圈定可手术区间交给手术刀（ctx.compaction.compactRegion）；会话内状态区（恒真区只增不改 / 状态区原地改写，LLM 小作业提炼 + ctx.inject 注入，ctx.bail('trisoul/canvas-state')）；手术后探针题验收（trisoul/canvas phase=probe）

TriSoul 多体共识插件：拦截 dsh 主循环的 llm/stream，N 路盲写→匿名两票制表决（候选+融合）→胜者整份放行 / 融合胜出则全员见稿重写再表决

TriSoul 安全门：tools/pre-execute 危险命令 deny（共识≠授权的执法层）

TriSoul 记忆中枢插件（多层记忆）：global/cross/project 三层隔离 + 覆盖链就地更新 + 预压缩稿 + 事件游标续传；消化/整理/recall(含回捞原文)/手术备料四作业

TriSoul 上下文手术刀（M3）：CompactionEngine 实现——取消自动压缩，提供区域手术

Easy-fold plugin for the dsh Web GUI: sticky Think fold row and fold scroll compensation for long expanded content

Preview, debug (logs and screenshots), and publish WeChat Mini Games inside the dsh Web GUI, through the official mini game helper service

DeepSeek Harness bundle: a Chrome browser for agents (browser_goto / browser_evaluate / browser_screenshot tools) with a live two-way pane inside the DSH Web GUI. The browser engine is a fork of zenbu-labs/terminal-browser with the React Ink terminal UI replaced by a DSH tool surface and web pane.

DeepSeek Harness plugin: DSH-native righthand tools — durable KV store, credential/settings management, governed exec, and a tool guard

ChatGPT-style conversation-history rail for the DeepSeek Harness web GUI: a strip of bars at the transcript's right edge with a hover panel listing every user message, click-to-jump and scroll-synced highlighting.

dsh-generative-ui：让 AI 在 DSH 对话流里直接输出可交互的 HTML 组件（Generative UI）。agent 在回复里写 ```generative-ui 围栏（内容为自包含 HTML），客户端把每轮回答里的工件提取出来，沙箱渲染成内嵌的可交互 UI。纯客户端实现，零后端、零存储——工件就活在消息文本里，会话在它就在。

DeepSeek Harness plugin: Lord/Serf agent protocol 0.5 skills (file-based multi-agent orchestration with bounded execution and schema-validated submissions)

喵语定制：为 DSH 消息正文提供可配置的显示层文本替换（仅界面显示，不改动真实对话内容）