关于 simplify-skill
simplify-skill 指导 Agent 降低现有技能中的偶然复杂度,同时保留其行为、安全性和依赖。它通过带门槛的发现、改写与验证流程操作,并明确区分阻塞和待批准状态。
主要功能
- 01定义输入契约与不变量
- 02采用固定的发现至验收状态机
- 03用覆盖率台账追踪规则和行为
- 04验证哈希、测试、链接与包状态
- 05验收要求证明复杂度确有降低
适用场景
- 01简化难以维护的技能说明
- 02调整指令顺序并保持原有行为
- 03验收前检查技能简化方案
安装
复制下面的命令,在终端中运行。
npx skills add https:/ / github.com/ srinitude/ skills --skill simplify-skill安装后在 Claude Code 中输入/simplify-skill确认已加载。
包含的文件
除 SKILL.md 外,安装时一起下载的参考资料和脚本。
mise.toml.github/workflows/ci.ymlassets/decision-records.jsonimprovement-contract.jsoninvocation-receipt-template.jsonledger-template.jsonmise-primitives-catalog.jsonmise-primitives.jsonprimitive-lifecycle.jsonuse-case-contract.jsonevals/cases.jsoncontract.mdevals.jsonmanifest.jsonrubric.mdsource-lineage.jsonsource-mapping.jsonspeed-budgets.jsontrigger-cases.jsontrigger-queries.jsonexamples/accepted-deduplication.mdblocked-contradiction.mdno-change.mdreferences/decisions.mddependency-reconciliation.mdgeneration-contract.mdpreservation-contract.mdresource-and-experiment-design.mdsimplification-model.mduse-case-specificity.md详细介绍
简化技能
何时使用
当现有技能比其领域要求的更难理解、操作、验证或维护时,请使用此技能。不要将其用于普通的纯代码清理。
结果
为指定的角色和任务,至少降低一项已声明的复杂度成本。保留目的、权限、行为、安全性、依赖项、输出和证明,除非用户批准明确的损失。
绝不能仅凭行数减少就认定简化有效。
硬性边界
- 将当前完整软件包视为基线事实来源。
- 保留必要的领域复杂性。优先移除偶然复杂性。
- 默认采用无损更改。
- 精确保留命令、路径、架构、哈希、引文、权限门槛、数值限制和停止规则。
- 将组件状态与整个技能的状态分开。
- 不要声称所有模型或提供商生成的文本都完全相同。
- 将确定性定义为封闭的决策契约加上经机器检查的最终状态。
必需的组成
资源门槛:使用此处提及的软件包文件前,先运行 mise run validate。
更改软件包前,请阅读依赖项协调。当触发条件适用时,使用集合中负责起点、人类行为、Agent 行为和意义保留的负责人。
仅在原生宿主环境中加载,只能作为证据,不能视为可移植依赖项。请将其不变量纳入自身内容,或转至已安装的公共同级项。如果两者都不可行,则返回 BLOCKED_DEPENDENCY。
输入契约
记录 target、actor、task、environment、scope、invariants、measure 和 allowed_loss。缺少的数据使用 unknown。除非用户批准了明确的损失范围,否则 allowed_loss 为 none。
状态机
只能按以下顺序执行:
DISCOVER -> BASELINE -> CONTRACT -> SELECT -> REWRITE -> VERIFY -> ACCEPT
门槛检查失败时转为 BLOCKED。未经批准的损失转为 NEEDS_APPROVAL。未能降低任何已接受的成本时转为 NO_CHANGE。
平局时,依次按权限、安全与隐私、行为保留、用户指定的精确方法、更低的已声明成本,最后是 NO_CHANGE 来决定。
流程
- 发现。 阅读当前目标、所有链接文件、附近的负责人、来源记录、检查项和支配性来源。遇到无法解释的偏差时停止。
- 冻结。 备份并计算每个文件的哈希。运行现有检查和代表性任务。
- 契约。 为每条规则和可观察行为分配稳定 ID。记录权限、强度、条件、受保护片段、目标和证据。覆盖率必须等于
1.0。 - 选择。 依次尝试
deduplicate、clarify、reorder、progressive-disclosure、extract-child、simplify-code,然后是approved-loss。使用第一个能降低已声明成本且不会触发否决的模式。 - 检查声明。 在声称行为有所改善之前,定义人类或 Agent 群体以及目标测试。
- 改写。 修改范围最小的所属部分。使用通俗语言、每句一条规则、明确指定角色、封闭状态词、默认值和精确的停止条件。
- 处理代码。 先编写测试,并将代码证明与指令证明分开。
- 验证。 重新计算哈希、台账覆盖率、受保护片段、链接、元数据、加载情况、测试、软件包状态和最终状态回读。在相同环境中比较基线与候选版本。
- 接受或还原。 只有在已声明的成本降低、所有不变量均通过且没有剩余否决项时,才接受。否则还原,或返回精确的阻止状态。
子项提取
只有当子项具有独立的触发条件、独立的结果、明确的接口、规范所有权、直接测试、父项路由测试、预期复用收益高于协调成本,且加载图无环时,才创建子项。绝不能仅为减少行数而拆分。
验收
ACCEPT 要求:
- 重新计算基线和候选数据包的哈希值;
- 台账覆盖率为
1.0,且不存在未经授权的损失; - 每个受保护片段均通过检查或获得精确审批;
- 在相同环境中,至少一项声明的成本有所降低;
- 原生检查、任务检查、软件包检查、链接检查和回读检查均通过;
- 所有十个原生压力案例均保留其要求和禁止的行为。
软件包 PASS、评估注册、行为评估 PASS、组件状态和整体技能 PASS 是彼此独立的结果。
资源
工厂执行契约
可接受的结果是:降低技能复杂度,同时证明语义一致性并保留每项已接受的行为。在更改其最小责任归属方时,保留当前保持行为的简化行为。
- 使用
mise run ci冻结当前软件包并记录其摘要。 - 运行
mise run domain-research-policy,然后评估当前保持行为的简化来源及反证。 - 为指定的保持行为的简化操作运行
mise run agentic-request。将语义选择交由模型处理。 - 运行
mise run decision-policy、mise run ci和行为评估。返回到失败层级最低的责任归属方。 - 运行
mise run invocation-policy -- <receipt>,并说明每项任务的情况,或说明其领域特定的不适用原因。 - 可选运行
mise run improvement-policy。只有在没有受保护维度出现退化时,才保留单一维度的更改。
仅在需要其契约时,才通过 mise run use-case-policy 加载 assets/use-case-contract.json,并通过 mise run evals 加载 evals/evals.json。
Mise 负责可重复的机制、顺序、凭据和检查。模型负责代码无法提供的解释、因果判断、创造性工作和直接感知。遇到缺少授权、证据过时或关卡失败时,应停止。