@a179-sanae/dsh-code-check

Readme

# dsh-code-check

DeepSeek Harness(DSH)的自动类型检查诊断插件。

模型编辑或创建代码文件后,本插件在后台(按项目、防抖)自动运行
`tsc --noEmit`,并通过 `code_check` 工具汇报哪里改坏了——按文件分组,带
行列号、严重级别和 TS 错误码。模型看到报告后可以自己修复,形成
"改 → 查 → 修"闭环。Claude Code 有官方 LSP 插件,pi 有 pi-lens,现在 DSH
也有了 dsh-code-check。

## 特性

- 监听 harness 的 `fs/observed` 变更事件(与内置 skill 文件系统同一条缝),零核心改动。
- 800ms 防抖,连续编辑合并为每个项目一次检查。
- 按被编辑文件向上找最近的 `tsconfig.json`,只检查对应项目;`node_modules` 内部的文件不会被依赖自带的 `tsconfig.json` 劫持。
- 直接以 `node typescript/bin/tsc` 方式启动:不经过 shell / npx / `.cmd`,Windows 与 POSIX 行为完全一致;命令行固定 `--pretty false`,解析器同时兼容 ANSI 颜色码与 `--pretty` 的 `file:line:col - error TSxxxx` 格式。
- `code_check` 工具返回缓存报告,传 `run: true` 强制重跑,支持按路径过滤(按路径段精确匹配,`bad.ts` 不会误匹配 `bad.tsx`;自动规范化 `./` 前缀与尾部斜杠)。首次调用时会扫描调用方工作区找 `tsconfig.json`,没编辑过也能用。
- 优雅降级:没有 `tsconfig.json` 或本地没装 TypeScript 时给出明确提示,而不是崩溃;tsconfig 配置错误(如 `include: []`、`files` 指向缺失文件)会标注为 `tsconfig/global error`,与运行环境故障区分开。
- 全部配置项可通过 `settings.yaml` / profile patch 层调整。

## 安装

```bash
dsh plugin --profile web add "github:a179-sanae/dsh-code-check#main"
```

安装后重启 `dsh web`。工具会自动出现在模型的工具集里,结果以普通工具
卡片渲染在 Web UI 中——不需要任何 UI 改动。

### 安装注意事项

- `@deepseek-ai/*` 运行时包(`cordis`、`schemastery`、`dsh-tools`、
  `dsh-llm`)是 **peer 依赖**:由 DSH 宿主提供。**不要把它们手动装进
  profile**——profile 里出现第二份 `dsh-tools` 会让宿主的工具调度器解析到
  错误实例,所有工具调用都会报 `Cannot read properties of undefined
  (reading 'prepare')`(已在 rc.6 实测,属宿主 loader 解析问题)。
- 若插件加载报 `Cannot find package '@deepseek-ai/...'`,说明 profile 安装
  没解析到宿主包:检查 profile 的 `pnpm-workspace.yaml`,并在
  `pnpm install --force` 后重新执行 `dsh plugin --profile web add
  "github:a179-sanae/dsh-code-check#main"`。

## 用法

让模型正常改代码即可:后台检查会自动调度,随时可以让模型:

- 直接说 *"run code_check"* 查看当前诊断
- 或模型在编辑后自行调用 `code_check`

首次使用:项目通过文件编辑事件(`fs/observed`)习得;还没编辑过时,带
`run: true` 的 `code_check` 会先扫描调用方工作区找 `tsconfig.json`,按需检查。

示例报告:

```text
Type check report — 2 diagnostics (checked at 21:30:04)
  src/app.ts:12:5  error TS2345  Argument of type 'string' is not assignable to parameter of type 'number'
  src/app.ts:40:1  error TS2304  Cannot find name 'foo'
Tip: fix the errors, then call code_check again to verify.
```

## 配置

全部可选,默认值如下:

| Key | 默认值 | 含义 |
| --- | --- | --- |
| `enabled` | `true` | 后台监听总开关。 |
| `debounceMs` | `800` | 最后一次编辑后的防抖窗口(毫秒)。 |
| `triggerTools` | `['edit', 'write']` | 触发检查的工具 actor 名单。 |
| `includeExtensions` | `['.ts', '.tsx', '.mts', '.cts']` | 触发检查的文件扩展名。 |
| `maxDiagnostics` | `120` | 单份报告最多展示的诊断数。 |
| `tscTimeoutMs` | `60000` | 单次 tsc 超时。 |
| `extraArgs` | `['--incremental']` | `tsc --noEmit -p <tsconfig>` 之后的附加参数。 |
| `cacheCap` | `200` | 缓存项目上限(最久未检查的先淘汰)。 |

通过 profile patch 层覆盖,例如:

```yaml
# $DSH_HOME/profiles/web/cordis.patch.yml
- id: code-check
  config:
    debounceMs: 1500
    maxDiagnostics: 200
```

覆盖 patch 是平铺的 loader 条目(`- id:` + `config:`),不是 `- update:` 嵌套
写法——后者会被 loader 静默跳过,配置不生效(实测确认)。id-targeted 覆盖会
整体替换 `config`,想保留的字段必须一并写上。

## 工作原理

1. `apply` 订阅 `fs/observed`(见 `src/runtime.ts`)。
2. `edit`/`write` 工具对配置扩展名的文件产生变更后,为最近的含
   `tsconfig.json` 项目调度一次防抖检查。
3. `runTypeCheck` 用项目本地 `typescript/bin/tsc` 启动 Node(见
   `src/diagnostics.ts`),把 `path(line,col): error TSxxxx: message` 行(自动
   剥离 ANSI 颜色,兼容 `--pretty` 的 `path:line:col - error TSxxxx` 格式)解析
   成结构化诊断,并按项目根缓存。
4. `code_check` 工具读缓存(或强制重跑)并格式化报告;结果走标准工具结果
   管线,在 Web UI 里显示为普通卡片。

## 开发

```bash
pnpm install
pnpm run typecheck   # src + tests 严格类型检查
pnpm test            # vitest:引擎 + 基于 tests/fixtures/ts-project 的真实 tsc 测试
pnpm run build
pnpm run verify:self-contained
```

仓库自包含(遵循官方 plugin-template 契约):构建、测试、发布都不需要宿主
源码检出。

## 路线图

- 接入真实 LSP(tsserver via `vscode-languageserver-protocol`),流式增量诊断。
- ESLint / 其他语言路由(pyright、`cargo check`、gopls)。
- 自定义 Web UI 诊断卡片(文件级徽标)。
- 检查失败时向下一个模型回合注入紧凑提示。

## 许可证

MIT