Skills Plugins MCP Prompt Model 导航 博客 资讯 我的中心
工具与能力 #deepseek-harness#dsh#rust#dsh-plugin

deepseek-rust-harness

DeepSeek Harness 的 Rust 开发领域插件:以模型工具提供 fmt→clippy→构建+测试→miri+审计验证金字塔,附 graph 层治理(8 条防 Goodhart 规则,含 #[allow] 密度与删除测试检测)

leemiracle @leemiracle ⬇ 2 ★ 2 main

安装

dsh plugin --profile web add github:leemiracle/deepseek-rust-harness
下载安装清单

需要可复现安装时,可在仓库后追加 #commit 固定提交。

DeepSeek Harness 的 Rust 开发领域插件:以模型工具提供 fmt→clippy→构建+测试→miri+审计验证金字塔,附 graph 层治理(8 条防 Goodhart 规则,含 #[allow] 密度与删除测试检测)

该插件未提供要点说明,请参考仓库 README。

deepseek-harnessdshrustdsh-plugin
  1. 安装并启动 DeepSeek Harness:npx @deepseek-ai/dsh web
  2. 在终端执行上面的安装命令(CLI 会解析插件并核验来源)
  3. 用 dsh plugins list 确认已安装,必要时重启 Harness 生效

插件以当前 dsh 进程的权限运行,安装时可能执行代码。请先通读仓库源码与许可证,确认无破坏性命令与越权访问;本站只做索引,不对第三方插件安全性作担保。

代码仓库github.com/leemiracle/deepseek-rust-harness
许可证MIT
主要语言main
下载量2
GitHub 星标2
最近推送2026-08-18
收录日期2026-09-19
分类工具与能力

事实信息来自公开插件目录快照(2026-10-01),介绍文案由本站再加工。

以下为插件仓库 README 全文(原始内容,由公开目录抓取整理)。

# deepseek-rust-harness

> DeepSeek 引擎 + 六组件骨架 + **Rust 领域插件**。`deepseek-kernel-harness` 的姊妹项目:
> 同一宿主骨架(harness工程手册 12 章)、同一引擎方言层(`engines/` 完全复用),
> 换上 Rust 验证金字塔与 graph 三病治理——**换领域 = 换 tools/ + governance/ + AGENTS.md,宿主与引擎层零改动**(插件化架构的活案例)。

## 一图看懂:kernel → rust 插件映射

核心洞察:**kernel 金字塔重心在运行时(启动冒烟),Rust 把检查前置到编译期(borrow checker),
并新增了 kernel 不存在的攻击面(crates.io 供应链)——所以金字塔变形而非平移**。

| 层 | kernel | rust | 为什么变形 |
|---|---|---|---|
| L1 风格 | checkpatch --strict | `cargo fmt --check` | rustfmt 是机械格式化,风格在 Rust 是"机器领土" |
| L2 语义 | sparse + coccinelle | `cargo clippy --all-targets -- -D warnings` | kernel 需外挂工具补类型检查;Rust 编译器本体已做,clippy 补惯用法层 |
| L3 构建 | make W=1 + 外置 objtree + **flock** | `cargo build --workspace --all-targets` + `cargo test` | cargo **自带 target/ 构建锁**(kernel 要 flock 治的互踩,工具链内建了);测试是 Rust 一等公民,kernel 没有 |
| L4 运行 | virtme/qemu 冒烟启动 | `cargo +nightly miri test`(UB 硬检测)+ `cargo audit`(RustSec CVE) | 冒烟测"活到 login";Miri 测"safe 抽象下无 UB";依赖树是 kernel 没有的攻击面 |
| API 合同 | get_maintainer.pl(邮寄协议,人查) | `cargo semver-checks`(机器判 breaking) | pub 即 semver 合同 |
| 盲区补验 | allmodconfig(config 矩阵) | `cargo hack --each-feature`(feature 矩阵)+ `cargo update --dry-run`(依赖树) | 同构:组合爆炸空间单会话看不全 |

## governance 三病的 Rust 特化(手册 02 章 #65-66)

| 病 | kernel 形态 | rust 形态 |
|---|---|---|
| Goodhart | 删代码消警告 / `#if 0` / checkpatch ignore | **语言级原语**:`#[allow]` / `#[cfg(not(test))]` / 无 SAFETY 的 unsafe / `.unwrap()` 密度 / `#[ignore]` 删测试(G3-G8,比 kernel 多 3 条) |
| 向上盲区 | include/ 头文件 / Kconfig 矩阵 | **Cargo.toml 依赖树 / pub API 面 / feature 矩阵 / unsafe 边界**(路径规则 + diff 内容信号双档——pub 变动藏进行内容里,路径看不出来) |
| 冲突 | 文件→series 互踩 / objtree 互踩(flock 治) | 文件互踩同构;**Cargo.toml/Cargo.lock 是全局共享热点文件**;构建端互踩 cargo 内建锁已治 |

## 结构

```
rust_host.py          宿主:六组件骨架(E/T/C/S/L/V)+ cascade,Rust 特化工具表
engines/dialects.py   引擎方言注册表(8 引擎,与 kernel 版完全复用)
engine_probe.py       引擎冒烟探针
plugin.json           插件清单(挂点声明)
AGENTS.md             Rust 契约(unsafe/Result/borrow/Send-Sync 红线)
tools/r_fmt.sh        L1  cargo fmt --check
tools/r_lint.sh       L2  clippy --all-targets -- -D warnings
tools/r_build.sh      L3  build --workspace --all-targets + test
tools/r_miri.sh       L4a Miri UB 检测(unsafe 变动必跑)
tools/r_audit.sh      L4b cargo audit 供应链
tools/r_semver.sh     附加 semver-checks API 合同
governance/goodhart_guards.py   反 Goodhart(8 规则,Rust gaming 原语)
governance/global_conflicts.py  盲区(路径档 + diff 内容信号档)
governance/patch_queue.py       冲突(Cargo.toml/lock 热点警告)
hooks/authorize.py    fail-closed 权限门(cargo publish 不可撤回 / RUSTFLAGS=-A 通道)
state/                progress.md(断点续传)+ patch_ledger.jsonl(共享账本)
```

## 快速开始

```bash
python3 rust_host.py --self-test          # 零依赖自检(不需 key/rust 工具链)
python3 hooks/authorize.py                # L 组件断言组
python3 governance/goodhart_guards.py --self-test   # 三件套各自可测

export KH_API_KEY=...                     # 或 DEEPSEEK_API_KEY
export RUST_PROJECT=/path/to/workspace    # 不设则自动探测 Cargo.toml
python3 rust_host.py --task "给 src/parser.rs 的 parse() 补错误处理并过 L1-L3"
```

换引擎只动 env(手册 09 章方言注册表):`KH_BASE_URL`/`KH_ENGINE`/`KH_LOOP_MODEL`,
8 引擎矩阵与四针脚接线详见 `INTEGRATION.md`。

## 与 kernel 版的关系

- `engines/` + 宿主骨架:**零改动复用**(这是插件化的结构证明)
- `tools/`:金字塔**变形重写**(重心上移 + 供应链新层)
- `governance/`:三病框架同构,规则**按 Rust 语言特性重实例化**
- `hooks/`:黑名单重实例化(publish 不可撤回 > push -f;RUSTFLAGS=-A 是 kernel 不存在的 Goodhart 通道)

## 📄 License

[MIT](LICENSE) © 2026 leemiracle

数据来源:公开的 DeepSeek Harness 插件目录与各插件 GitHub 仓库。本站为独立第三方目录,与 DeepSeek、幻方(High-Flyer)及插件作者均无隶属或背书关系。

每日精选 Skill 推荐,免费送到你邮箱

输入邮箱,每天接收一个精选 AI Agent 技能推荐。完全免费,持续更新。

提交后我们会发送一封确认邮件,点击邮件里的链接才会开始收信。

完全免费,取消任意时间。我们不会发送垃圾邮件。