cm-check
用户说“检查工作流是否安装正确”“为什么找不到 cm 命令”时使用。默认查询 npm 稳定版,有新版自动升级已管理的 CM 安装,再检查插件、核心 Skills、兼容包装与模板引用;不测试或修改业务代码。
Install
npx skills add https://github.com/kingxiaozhe/cm-workflow/tree/main/skills/cm-check
claude plugin marketplace add https://llmmart.ai/marketplace.json && claude plugin install kingxiaozhe-cm-workflow@llmmart
git clone https://github.com/kingxiaozhe/cm-workflow.git
The skills CLI installs just this skill, for any of its supported agents. Claude Code installs the whole kingxiaozhe/cm-workflow collection as a plugin from our marketplace. Git is the plain clone.
Skill manifest
cm-check — 双运行时一致性自检
执行前读取 ../../runtime/project-context.md 与 ../../runtime/logging.md。Codex 入口为 $cm-check;Claude Code 跨平台入口为 /cm-check,macOS/Linux 另有历史别名 /cm:check。
默认先检查更新
从当前 Skill 路径解析 {CM_WORKFLOW_ROOT}。每次完整 cm-check,在启动检查控制器前执行一次:
node "{CM_WORKFLOW_ROOT}/scripts/cm-check-update.mjs" \
--skill-dir "{CM_WORKFLOW_ROOT}/skills/cm-check" --runtime codex
Claude Code 将 --runtime 改为 claude。默认发现 npm latest 稳定新版就升级,
无需 --upgrade 或再问一次;固定包为 @aibyzero/cm-workflow,复用现有安装器的
--yes、范围限制和失败回滚。只更新 CM 的已管理文件,不安装业务依赖或改业务项目。
当前还有 CM 开发、审查或发布任务在运行时,先完成或暂停该任务,不能并发替换其运行时。
用户明确说“只检查,不升级”时跳过此前置步骤,并注明未查询更新。
按 JSON 结果处理,不把退出码 0 一律解释成最新版:
updated:已升级并回读版本;使用返回的workflowRoot,重新读取其中的本 Skill 和references/js-host.md,直接进入下方检查,不再次运行更新步骤。其他 Skills 在新会话加载。current/ahead:检查返回的管理目录;若当前会话仍引用旧缓存,重新读取该目录的 Skill/接线文档,提醒新开会话。不降级比 npm 更新的版本。offline:继续当前本地检查,报告“无法确认最新版”;本地 PASSED 不代表版本最新。unmanaged:源码仓库、Pi/BYZ 或其他管理器安装仅报告本地/远程版本,不改其源码或 改换安装方式;明确说明自动升级未执行,沿用当前根检查。blocked/ 非零退出 / 无有效结果:停止并报告原因,不绕过失败继续宣布通过。
当前自动安装支持 macOS Codex 的个人本地市场安装,以及 macOS/Linux Claude 安装。 Windows 或其他安装方式有新版时,明确提示使用原平台安装器;不伪称已更新。 查询有时限,联网只查询公共包版本并下载指定包,不发送项目代码或配置。
升级后检查
按选定根目录的JS 会话入口启动控制器:
node "{CM_WORKFLOW_ROOT}/scripts/cm-check-host.mjs" serve \
--skill-dir "{CM_WORKFLOW_ROOT}/skills/cm-check" --project "$PWD"
用户说「快速检查」「只看装没装对」「别跑全套」时追加 --quick:更新与机械检查照常跑,
机械通过后直接收口,不进八组语义检查。结论为 MECHANICAL_ONLY,不是 PASSED——
语义八组一组没读,不得据此宣称安装完整无断链。机械失败仍照常报 FAILED/BLOCKED,
快速模式不跳过任何失败。默认(不带该参数)仍是完整检查。
耗时差别很大:更新约 1 秒、机械检查约 12 秒,其余时间几乎全在语义八组逐文件取证上。
如果配置文件不在项目根目录,可额外传 --config {CONFIG_PATH};不传时会读取项目根
目录的 .cm-workflow.yml / .yaml / .json。
不要启动前另跑一遍机械检查。收到check_runtime时按原平台入口执行一次:macOS/Linux/WSL和Git Bash用cm-check-runtime.sh,Windows PowerShell用cm-check-runtime.ps1;原cm-check-entry.mjs仍保留为单独机械检查入口。PowerShell仍依赖CLAUDE_CODE_GIT_BASH_PATH或Git for Windows Bash,缺失如实阻断,不跳过、不自动安装。
invocation.args 已包含 --print-effective,宿主须原样执行,以保留有效配置检查;不要把此参数加到 serve 命令上。
原实际结果回传后,JS在机械失败时保留输出并停止;通过才发check_semantic,在该请求内执行以下八组检查,再由JS校验覆盖和汇总。
语义检查
- Codex 入口(按
installMode分流):cm-idea/cm-init/cm-prd/cm-ai/cm-test/cm-security/cm-fix/cm-refactor/cm-check/cm-runtime十个核心 Skill 与独立external-expertSkill 均有合法 frontmatter,两种模式都查。plugin模式另查.codex-plugin/plugin.json的skills指向./skills/;claude-compat模式没有该清单文件(安装器不生成),这一半记not_applicable并说明,不记 blocked。 - 共享真相:十个核心 Skill 引用
runtime/合同;external-expert引用共享外部专家合同;compat/claude-commands/cm-*.md只是 macOS/Linux 旧入口薄包装,不再复制业务规则。 - 流程链路:
cm-ai的 N1–N8 引用全部存在;cm-prd的 greenfield/brownfield/change-mode 全部存在;cm-idea引用idea-to-prd;cm-prd/cm-ai/cm-test/cm-qa-engineer共用runtime/test-contract.md;cm-prd/cm-ai/cm-test/cm-security/cm-fix/cm-refactor/external-expert共用runtime/logging.md与统一 writer;cm-test --generate-cases生成校验后的 inferred 草稿并硬停止。 - 角色链路:N3 引用的
cm-*-engineer/manager/expertSkill 存在;Claudeagents/中每个兼容角色能找到对应工种 Skill。Codex 不依赖这些.mdagent 文件;配套完整性核对用户级runtimes.yml的安装器/cm-runtime 生成方与 cm-workflow-config 消费方,cm-runtime 是独立工具、不配工种。 - 状态与审查:
.cm-specs-status、.cm-status.json、.cm-run.json、tasks.md、可选test-cases.json、METRICS.md、LESSONS.md、运行日志.jsonl及.reviews/的生成方与消费方配对;项目日志保持权威,全局日志只是私有可重建镜像;N4 凭证头包含 reviewer/independent/task/round/at/scope;cm-fix收口前机械检查修后审查凭证;.external/不得冒充 N4/N5 凭证。 - 模板路径:所有
{CM_WORKFLOW_ROOT}/templates/...引用都对应真实文件,重点核对templates/rules/、templates/ui-lens/、templates/hooks/、templates/refactor/。 - 版本(按
installMode分流):plugin模式核对根VERSION与.codex-plugin/plugin.json一致,并核对根README.md不宣称不存在的入口或安装路径;claude-compat模式的版本标志是templates/cm-VERSION,根VERSION与根README.md均不由安装器生成(install.sh只写templates/cm-VERSION),这两项记not_applicable并说明,不记 blocked。 - 私有调用清零:Codex 核心 Skill 不得残留
TaskCreate、TodoWrite、codex:review、~/.claude/commands;兼容包装中出现/cm:*是合法的 macOS/Linux 旧入口。
传入 --project 时机械检查额外输出「运行时声明对照」:按项目 > 用户级默认 > 未声明读取
runtimes.available,声明的一家若本机 CLI 不可解析只打 WARN(可解析≠配额可用,不算失败);
并逐行打印 coder/reviewer 的 route_state,declared-adapter 标「已声明未派发」。这是诊断,不是授权。
外部能力只做降级提示,不应导致插件自检失败:状态条、后台定时更新器、子代理、隔离 CLI 审查通道与 external-expert 浏览器 transport 都是可选增强。浏览器不可用时必须能输出 手工 handoff packet,不能把可选通道缺失报成核心运行时失败。
输出
🔍 cm-check (plugin v{X.Y.Z})
版本更新: {已升级 旧版 → 新版 / 已是最新 / 本地领先 / 无法确认 / 未执行及原因}
Codex 入口: {通过/失败}
Claude 兼容: {通过/失败}
流程与角色: {通过/断链清单}
状态与审查: {通过/断链清单}
模板与版本: {通过/不一致清单}
可选增强: {已配置/降级项}
结论: PASSED / FAILED ({N} 处) / BLOCKED(附未查完的组) / MECHANICAL_ONLY(--quick,未做语义检查)
第 1、7 组的 not_applicable 只适用于另一种安装模式独有的产物,且必须写明缺的是哪个文件、为何本模式不该有;
其余各组以及本模式确实拥有的产物,证据不足一律记 blocked,不得借 not_applicable 放行。
除上述安装升级外,只报告可复现的断链,不自动修复项目文件或配置。
独立的 cm-check-host.mjs、cm-check-entry.mjs、cm-check-runtime.sh/.ps1 仍只检查,
不会联网升级;CI、安装器与发版校验调用这些入口,不递归触发更新。
代码漏洞扫描请使用相邻 ../cm-security/SKILL.md;cm-check 的安装/结构检查不代替漏洞扫描。
Files (cm-workflow)
-
references
-
js-host.md 4.8 KB
# cm-check JS 会话接线 控制器只串联原机械检查、八组语义检查与输出,不引入provider或自动修复。当前宿主使用现有终端/文件读取能力;没有后台审计、持久化记录或任务完成权限。 ## 启动 单步调用可用 `node scripts/cm-check-drive.mjs --plan PLAN.json start`。计划写 `skillDir`、`project`、可选 `config`/`quick`,以及 `checks:[{id:"check_runtime",command:[checker,"--project",project,"--print-effective"]}]`;命令须与宿主声明逐项一致。完整模式的 `answers/check-semantic.json` 只写人工八组判断及五个可选项,不写 `sourceDigest`;驾驶员从当次请求绑定摘要。驾驶员实际运行机械 checker,保留真实退出码与输出。`status` 只读;该宿主没有跨进程恢复,驾驶员拒绝 `resume`。 完整 Skill 先执行 `cm-check-update.mjs` 的默认更新步骤,再从返回的根目录启动此控制器。 更新不在控制器会话内进行,避免基线在检查中漂移;低层控制器单独调用保持只读。 按主Skill启动`cm-check-host.mjs serve --skill-dir PATH --project PATH [--config PATH]`,保持stdin/stdout双向。 Windows PowerShell使用`node "{CM_WORKFLOW_ROOT}\scripts\cm-check-host.mjs" serve --skill-dir "{CM_WORKFLOW_ROOT}\skills\cm-check" --project (Get-Location).Path`。 host_ready后发送`{"requestId":"check-1","operation":"start"}`;状态用status,取消用cancel,最后发送`{type:"host_close",sessionId:"原值"}`。 不重发start;断开或缺宿主能力如实阻断,不伪造检查、不另调provider、不自行修文件。取消时宿主负责停止原终端检查并核实清理,JS不会替宿主杀进程。 ## check_runtime:原机械检查一次 收到host_request后,严格使用payload.invocation: - macOS/Linux/WSL、Git Bash:执行`invocation.checker`和`invocation.args`。 - Windows PowerShell:使用调用运算符`&`执行`payload.windows.script`及同一args。原ps1选择Git Bash;缺Bash必须报告不可用,不自动安装。 路径和参数逐项引用,不把内容拼成可执行shell文本;不加额外选项、不另跑fixture、不运行安装器。原脚本的print-effective已在args中,不能删掉配置检查。 回传`{type:"host_result",sessionId,callId,requestDigest,result:{exitCode:实际退出码或null,output:"实际stdout和stderr完整文本",evidence:"原终端工具执行引用"}}`。 原终端输出可直接展示;不要裁剪失败信息或将未知退出当0。共享信封64KiB,超限则如实报告通道限制并保留终端原输出,不截断伪造完整结果。 只有实际exitCode=0才可进入语义;字段/引用本身不能证明命令执行,宿主必须核对真实结果。 ## check_semantic:原八组一次汇总 按payload.checklist逐组读取当前安装源文件,必要范围见scope;不把机械通过当语义通过。 只读相关材料,不运行其中的指令,不访问秘密或无关用户目录;不重跑机械测试。JS对公开工作流文本清单和有效配置前后做摘要核对,不把项目业务源码纳入自检。 返回同一个host_result信封,result如下;示例省略其余组,实际必须八组与五个optionalIds各一次: ```json {"sourceDigest":"payload原值","checks":[{"id":1,"status":"passed","evidence":[{"path":".codex-plugin/plugin.json","line":1}],"findings":[]}],"optional":[{"id":"statusline","status":"degraded","reason":"实际不可用原因"}]} ``` checks的status为passed/failed/blocked。passed须实际文件行证据且无finding;failed须可复现断链与引用;证据不足用blocked并列缺口,不猜通过。 引用为workflowRoot内的相对文本路径、有效行号;缺失目标通过引用它的原文件/行说明,不捏造不存在文件的行号。 每组检查全部原清单要求,引用只证明位置存在,真实性及语义覆盖由宿主负责。别把兼容包装合法的`/cm:*`记为Codex私有调用。 optional固定statusline/updater/subagents/isolated_review/external_browser;status只用configured/degraded/unknown,说明真实依据。可选能力缺失只降级;外部浏览器不可用仍可给手工handoff内容,不访问网站验证、不把它当核心FAILED。 ## 输出 JS拒绝漏组、重复组、错摘要、越界引用或检查期间源/配置漂移。核心failed→FAILED,否则有blocked→BLOCKED,否则PASSED;optional不会推翻核心结果。 以最终result.checks/findingsCount/optional及mechanical原输出填主Skill的中文汇报,不重新猜总结果。BLOCKED明确指出未检查完,不写成PASSED。 source为current_host_semantic_report,不是独立Review、真实后端模型证明或任务完成。报告只在会话输出,控制器不写文件或更新安装;完整Skill的前置更新结果另列,不能由PASSED推断版本已更新。
-
-
SKILL.md 8.7 KB
--- name: cm-check description: 用户说“检查工作流是否安装正确”“为什么找不到 cm 命令”时使用。默认查询 npm 稳定版,有新版自动升级已管理的 CM 安装,再检查插件、核心 Skills、兼容包装与模板引用;不测试或修改业务代码。 --- # cm-check — 双运行时一致性自检 执行前读取 `../../runtime/project-context.md` 与 `../../runtime/logging.md`。Codex 入口为 `$cm-check`;Claude Code 跨平台入口为 `/cm-check`,macOS/Linux 另有历史别名 `/cm:check`。 ## 默认先检查更新 从当前 Skill 路径解析 `{CM_WORKFLOW_ROOT}`。每次完整 `cm-check`,在启动检查控制器前执行一次: ```bash node "{CM_WORKFLOW_ROOT}/scripts/cm-check-update.mjs" \ --skill-dir "{CM_WORKFLOW_ROOT}/skills/cm-check" --runtime codex ``` Claude Code 将 `--runtime` 改为 `claude`。默认发现 npm `latest` 稳定新版就升级, 无需 `--upgrade` 或再问一次;固定包为 `@aibyzero/cm-workflow`,复用现有安装器的 `--yes`、范围限制和失败回滚。只更新 CM 的已管理文件,不安装业务依赖或改业务项目。 当前还有 CM 开发、审查或发布任务在运行时,先完成或暂停该任务,不能并发替换其运行时。 用户明确说“只检查,不升级”时跳过此前置步骤,并注明未查询更新。 按 JSON 结果处理,不把退出码 0 一律解释成最新版: - `updated`:已升级并回读版本;使用返回的 `workflowRoot`,重新读取其中的本 Skill 和 `references/js-host.md`,直接进入下方检查,不再次运行更新步骤。其他 Skills 在新会话加载。 - `current` / `ahead`:检查返回的管理目录;若当前会话仍引用旧缓存,重新读取该目录的 Skill/接线文档,提醒新开会话。不降级比 npm 更新的版本。 - `offline`:继续当前本地检查,报告“无法确认最新版”;本地 PASSED 不代表版本最新。 - `unmanaged`:源码仓库、Pi/BYZ 或其他管理器安装仅报告本地/远程版本,不改其源码或 改换安装方式;明确说明自动升级未执行,沿用当前根检查。 - `blocked` / 非零退出 / 无有效结果:停止并报告原因,不绕过失败继续宣布通过。 当前自动安装支持 macOS Codex 的个人本地市场安装,以及 macOS/Linux Claude 安装。 Windows 或其他安装方式有新版时,明确提示使用原平台安装器;不伪称已更新。 查询有时限,联网只查询公共包版本并下载指定包,不发送项目代码或配置。 ## 升级后检查 按选定根目录的[JS 会话入口](references/js-host.md)启动控制器: ```bash node "{CM_WORKFLOW_ROOT}/scripts/cm-check-host.mjs" serve \ --skill-dir "{CM_WORKFLOW_ROOT}/skills/cm-check" --project "$PWD" ``` 用户说「快速检查」「只看装没装对」「别跑全套」时追加 `--quick`:更新与机械检查照常跑, 机械通过后直接收口,不进八组语义检查。结论为 `MECHANICAL_ONLY`,**不是 PASSED**—— 语义八组一组没读,不得据此宣称安装完整无断链。机械失败仍照常报 FAILED/BLOCKED, 快速模式不跳过任何失败。默认(不带该参数)仍是完整检查。 耗时差别很大:更新约 1 秒、机械检查约 12 秒,其余时间几乎全在语义八组逐文件取证上。 如果配置文件不在项目根目录,可额外传 `--config {CONFIG_PATH}`;不传时会读取项目根 目录的 `.cm-workflow.yml` / `.yaml` / `.json`。 不要启动前另跑一遍机械检查。收到check_runtime时按原平台入口执行一次:macOS/Linux/WSL和Git Bash用cm-check-runtime.sh,Windows PowerShell用cm-check-runtime.ps1;原cm-check-entry.mjs仍保留为单独机械检查入口。PowerShell仍依赖CLAUDE_CODE_GIT_BASH_PATH或Git for Windows Bash,缺失如实阻断,不跳过、不自动安装。 `invocation.args` 已包含 `--print-effective`,宿主须原样执行,以保留有效配置检查;不要把此参数加到 `serve` 命令上。 原实际结果回传后,JS在机械失败时保留输出并停止;通过才发check_semantic,在该请求内执行以下八组检查,再由JS校验覆盖和汇总。 ## 语义检查 1. **Codex 入口**(按 `installMode` 分流):`cm-idea/cm-init/cm-prd/cm-ai/cm-test/cm-security/cm-fix/cm-refactor/cm-check/cm-runtime` 十个核心 Skill 与独立 `external-expert` Skill 均有合法 frontmatter,两种模式都查。`plugin` 模式另查 `.codex-plugin/plugin.json` 的 `skills` 指向 `./skills/`;`claude-compat` 模式没有该清单文件(安装器不生成),这一半记 `not_applicable` 并说明,不记 blocked。 2. **共享真相**:十个核心 Skill 引用 `runtime/` 合同;`external-expert` 引用共享外部专家合同;`compat/claude-commands/cm-*.md` 只是 macOS/Linux 旧入口薄包装,不再复制业务规则。 3. **流程链路**:`cm-ai` 的 N1–N8 引用全部存在;`cm-prd` 的 greenfield/brownfield/change-mode 全部存在;`cm-idea` 引用 `idea-to-prd`;`cm-prd/cm-ai/cm-test/cm-qa-engineer` 共用 `runtime/test-contract.md`;`cm-prd/cm-ai/cm-test/cm-security/cm-fix/cm-refactor/external-expert` 共用 `runtime/logging.md` 与统一 writer;`cm-test --generate-cases` 生成校验后的 inferred 草稿并硬停止。 4. **角色链路**:N3 引用的 `cm-*-engineer/manager/expert` Skill 存在;Claude `agents/` 中每个兼容角色能找到对应工种 Skill。Codex 不依赖这些 `.md` agent 文件;配套完整性核对用户级 `runtimes.yml` 的安装器/cm-runtime 生成方与 cm-workflow-config 消费方,cm-runtime 是独立工具、不配工种。 5. **状态与审查**:`.cm-specs-status`、`.cm-status.json`、`.cm-run.json`、`tasks.md`、可选 `test-cases.json`、`METRICS.md`、`LESSONS.md`、`运行日志.jsonl` 及 `.reviews/` 的生成方与消费方配对;项目日志保持权威,全局日志只是私有可重建镜像;N4 凭证头包含 reviewer/independent/task/round/at/scope;`cm-fix` 收口前机械检查修后审查凭证;`.external/` 不得冒充 N4/N5 凭证。 6. **模板路径**:所有 `{CM_WORKFLOW_ROOT}/templates/...` 引用都对应真实文件,重点核对 `templates/rules/`、`templates/ui-lens/`、`templates/hooks/`、`templates/refactor/`。 7. **版本**(按 `installMode` 分流):`plugin` 模式核对根 `VERSION` 与 `.codex-plugin/plugin.json` 一致,并核对根 `README.md` 不宣称不存在的入口或安装路径;`claude-compat` 模式的版本标志是 `templates/cm-VERSION`,根 `VERSION` 与根 `README.md` 均不由安装器生成(`install.sh` 只写 `templates/cm-VERSION`),这两项记 `not_applicable` 并说明,不记 blocked。 8. **私有调用清零**:Codex 核心 Skill 不得残留 `TaskCreate`、`TodoWrite`、`codex:review`、`~/.claude/commands`;兼容包装中出现 `/cm:*` 是合法的 macOS/Linux 旧入口。 传入 `--project` 时机械检查额外输出「运行时声明对照」:按项目 > 用户级默认 > 未声明读取 `runtimes.available`,声明的一家若本机 CLI 不可解析只打 `WARN`(可解析≠配额可用,不算失败); 并逐行打印 coder/reviewer 的 `route_state`,`declared-adapter` 标「已声明未派发」。这是诊断,不是授权。 外部能力只做降级提示,不应导致插件自检失败:状态条、后台定时更新器、子代理、隔离 CLI 审查通道与 external-expert 浏览器 transport 都是可选增强。浏览器不可用时必须能输出 手工 handoff packet,不能把可选通道缺失报成核心运行时失败。 ## 输出 ```text 🔍 cm-check (plugin v{X.Y.Z}) 版本更新: {已升级 旧版 → 新版 / 已是最新 / 本地领先 / 无法确认 / 未执行及原因} Codex 入口: {通过/失败} Claude 兼容: {通过/失败} 流程与角色: {通过/断链清单} 状态与审查: {通过/断链清单} 模板与版本: {通过/不一致清单} 可选增强: {已配置/降级项} 结论: PASSED / FAILED ({N} 处) / BLOCKED(附未查完的组) / MECHANICAL_ONLY(--quick,未做语义检查) ``` 第 1、7 组的 `not_applicable` 只适用于另一种安装模式独有的产物,且必须写明缺的是哪个文件、为何本模式不该有; 其余各组以及本模式确实拥有的产物,证据不足一律记 blocked,不得借 `not_applicable` 放行。 除上述安装升级外,只报告可复现的断链,不自动修复项目文件或配置。 独立的 `cm-check-host.mjs`、`cm-check-entry.mjs`、`cm-check-runtime.sh/.ps1` 仍只检查, 不会联网升级;CI、安装器与发版校验调用这些入口,不递归触发更新。 代码漏洞扫描请使用相邻 `../cm-security/SKILL.md`;cm-check 的安装/结构检查不代替漏洞扫描。
Comments (0)
Sign in to join the conversation.
Reviews (0)
No reviews yet.
No comments yet.