leemiracle/deepseek-kernel-harness

插件 ⭐ 2 MIT other

> 一句话:把《harness工程手册》的五子系统/六组件骨架,特化到 DeepSeek 引擎 + Linux kernel 开发 场景的可插入插件项目。 > 建立:2026-08-18 · 手册 v1.0 全对应 > 核心命题(来自手册 02 章 #65-66):in-loop 检查点治不了 Goodhart / 向上盲区 / 冲突 三种结构病——kernel 开发恰是三种病的重灾区,所以本插件的差异点不在 loop 层工具,而在 governance/ graph 层治理。

catalog 简介:—

安装

deepseek-kernel-harness/
├── README.md               ← 本文件(目录宪法)
├── INTEGRATION.md          ★ 任意 agent 接线指南(opencode/cline/Claude Code 四针脚公式)
├── AGENTS.md               ← Instructions 子系统:内核开发契约(<200 行)
├── plugin.json             ← 插件清单:六组件挂点声明(宿主按此装载)
├── deepseek_host.py        ← 宿主:DeepSeek 端点 + E/T/C/S/L/V 骨架 + 插件装载(路线A)
│                             (agent 在场时退休为 self-test + CI 兜底,见 INTEGRATION §1)
├── config/
│   └── deepseek.yaml       ← 端点/路由/预算(模型方言见手册 09 章)
├── templates/
│   └── opencode.kernel.json ← opencode 接线模板(provider+instructions+permission)
├── tools/                  ← Verification 子系统:kernel 验证金字塔 L1-L4
│   ├── k_check.sh          ← L1 风格:checkpatch.pl --strict
│   ├── k_static.sh         ← L2 静态:sparse(C=2) + coccinelle(缺则报装法)
│   ├── k_build.sh          ← L3 构建:make W=1 增量(objtree 锁定,防并行互踩)
│   ├── k_boot.sh           ← L4 冒烟:virtme/QEMU 启动(缺则报装法)
│   └── k_maintainer.sh     ← LKML:get_maintainer.pl 收件人解析
├── governance/             ← ★ Graph 层治理(本插件差异点)
│   ├── goodhart_guards.py  ← 反 Goodhart:diff 级反 gaming 守卫
│   ├── global_conflicts.py ← 治向上盲区:跨子系统全局冲突检查
│   └── patch_queue.py      ← 治冲突:补丁队列串行化 + 同文件互斥
├── hooks/
│   ├── authorize.py        ← Scope 子系统:白名单 + 危险命令拦截(fail-closed,路线A)
│   └── pre-commit.sample   ★ 治理硬门禁:外部 agent 路线的 VCS 层强制(INTEGRATION §5)
└── state/                  ← State 子系统:进度 + 补丁账本
    ├── progress.md         ← 只追加(手册 05 章铁律)
    └── patch_ledger.jsonl  ← 补丁账本:series 顺序 + 验证证据 + graph 检查记录

leemiracle/deepseek-kernel-harness 加入你的 DSH 配置(web profile)即可启用。

README

展开完整 README 收起

README 内容为空。