cordis preset Skill 中的动态工具名称与当前实现不一致

[Jeze-T]

在当前仓库中，cordis preset 随附的 Skill 与 dsh-tool-cordis 的实际工具名称存在不一致。

相关文件：

• Skill：
  packages/preset/agent-presets/presets/cordis/skills/editing-cordis-compositions/SKILL.md
• 工具实现：
  packages/extensions/tool-cordis/src/index.ts

Skill 中目前仍出现以下工具名称：

• cordis_mount
• cordis_inspect
• cordis_unmount

但当前工具源码注册的是：

• cordis_define
• cordis_run
• cordis_inspect_list
• cordis_inspect_query
• cordis_inspect_self
• cordis_stop
• cordis_undefine

这可能导致模型按照 Skill 中的示例调用不存在的工具，尤其是在动态插件创建、运行和停止流程中。

希望确认：

1. cordis_mount、cordis_inspect、cordis_unmount 是否已经废弃？
2. 如果已经废弃，是否应该同步更新 editing-cordis-compositions/SKILL.md？
3. 是否也需要同步检查英文版 Skill、相关 README、测试 fixture 和生成文档？

建议统一 Skill 文档、工具 README 和源码中的命名，并补充一个覆盖当前流程的示例：

cordis_inspect_list
-> cordis_inspect_query
-> cordis_define
-> cordis_run
-> cordis_stop
-> cordis_undefine

如果旧名称仍然需要保留，也建议在文档中明确它们与当前工具名称的关系，避免模型把旧接口当作当前可调用工具。

[PerryLink]

核实（master c291e79）：你的发现完全正确——实现注册了 7 个新名，SKILL.md 还在教旧名，旧名在 src 里已不存在。

实现侧（packages/extensions/tool-cordis/src/index.ts）：cordis_inspect_list(:45)、cordis_inspect_query(:64)、cordis_inspect_self(:100)、cordis_define(:152)、cordis_run(:244)、cordis_stop(:333)、cordis_undefine(:355)；cordis_mount/cordis_inspect/cordis_unmount 旧名在 src 中 0 命中。

文档侧：packages/preset/agent-presets/presets/cordis/skills/editing-cordis-compositions/SKILL.md 有 6 处旧名（:32,:34,:64,:80,:118,:122）。答你三问：① 旧名已废弃，SKILL.md 需要同步；② 该 skill 目录只有这一个 SKILL.md（无中/英文变体）；③ tool-cordis 的 README.md/README.zh.md 已是新名，无需改。

同步时注意：改完 SKILL.md 后 snapshots/web/skill-tool-row/ui.expected.md 与 snapshots/session/skill-load/session.v2/v3.jsonl 快照需重新生成（测试会校验）；agent.cordis.yml:9 注释里的旧名也顺手更新。这是一个文档修复型 PR，欢迎直接提。

[Jeze-T]

感谢确认。我已经按照回复完成修改并推送到 Fork：

• Branch:
  https://github.com/Jeze-T/deepseek-harness/tree/docs/fix-cordis-skill-tools
• Commit:
  Jeze-T@40d334766a
• Patch:
  https://github.com/Jeze-T/deepseek-harness/commit/40d334766a.patch

修改包括：

• 更新 editing-cordis-compositions/SKILL.md 中的旧工具名称和调用流程
• 更新 agent.cordis.yml 的 TRUST 注释
• 刷新 skill-load Session 快照和 skill-tool-row Web 快照

本地验证已通过：

• pnpm run test:docs
• pnpm run doc-sync
• pnpm run lint
• focused Session snapshot replay
• focused Web snapshot replay

不过 GitHub 的 compare 页面显示：

An owner of this repository has disabled the ability to open pull requests.

因此我目前无法创建 PR。请问可以临时启用 Pull Request，还是由维护者直接 cherry-pick 上面的提交？

维护者如果选择直接合入，可以使用：

git fetch https://github.com/Jeze-T/deepseek-harness.git docs/fix-cordis-skill-tools

git cherry-pick 40d3347