Agent 連携 · DeepSeek Harness プラグイン — 212 ページ

Replaceable formal Prover Agent provider registry

Framework-neutral formal-proof case, receipt, run, and trust contracts

Replaceable formal-proof Loss provider registry

Durable proof-run snapshots and event ledger linked to DSH sessions

Formal Case, DSH Session, Git state, and result adapter over the Core Training Runtime

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.

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.

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 实现——取消自动压缩，提供区域手术

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.

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.

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

OrgX MCP tools, Work Ledger access, and a Sovereign Execution peer for DeepSeek Harness.

DSH profile bundle: load OpenClaw-style persona files (SOUL.md, IDENTITY.md, USER.md, TOOLS.md, MEMORY.md, AGENTS.md, HEARTBEAT.md, memory/*.md) into every DSH session whose workspace contains an openclaw/ subdirectory.

复制 DSH 会话 id，或把整个会话交接给 codex：在目标 agent 的会话库里写下它能 resume 的记录并登记进它的索引。