mcpField
S
simplify-skill

simplify-skill

github.com/srinitudeAgent 工作流2540 次安装1 周前更新
代码仓库

关于 simplify-skill

simplify-skill 指导 Agent 降低现有技能中的偶然复杂度,同时保留其行为、安全性和依赖。它通过带门槛的发现、改写与验证流程操作,并明确区分阻塞和待批准状态。

主要功能

  1. 01定义输入契约与不变量
  2. 02采用固定的发现至验收状态机
  3. 03用覆盖率台账追踪规则和行为
  4. 04验证哈希、测试、链接与包状态
  5. 05验收要求证明复杂度确有降低

适用场景

  1. 01简化难以维护的技能说明
  2. 02调整指令顺序并保持原有行为
  3. 03验收前检查技能简化方案

安装

复制下面的命令,在终端中运行。

$npx skills add https://github.com/srinitude/skills --skill simplify-skill

安装后在 Claude Code 中输入/simplify-skill确认已加载。

包含的文件

除 SKILL.md 外,安装时一起下载的参考资料和脚本。

mise.toml
.github/workflows/
ci.yml
assets/
decision-records.json
improvement-contract.json
invocation-receipt-template.json
ledger-template.json
mise-primitives-catalog.json
mise-primitives.json
primitive-lifecycle.json
use-case-contract.json
evals/
cases.json
contract.md
evals.json
manifest.json
rubric.md
source-lineage.json
source-mapping.json
speed-budgets.json
trigger-cases.json
trigger-queries.json
examples/
accepted-deduplication.md
blocked-contradiction.md
no-change.md
references/
decisions.md
dependency-reconciliation.md
generation-contract.md
preservation-contract.md
resource-and-experiment-design.md
simplification-model.md
use-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 来决定。

流程

  1. 发现。 阅读当前目标、所有链接文件、附近的负责人、来源记录、检查项和支配性来源。遇到无法解释的偏差时停止。
  2. 冻结。 备份并计算每个文件的哈希。运行现有检查和代表性任务。
  3. 契约。 为每条规则和可观察行为分配稳定 ID。记录权限、强度、条件、受保护片段、目标和证据。覆盖率必须等于 1.0。
  4. 选择。 依次尝试 deduplicate、clarify、reorder、progressive-disclosure、extract-child、simplify-code,然后是 approved-loss。使用第一个能降低已声明成本且不会触发否决的模式。
  5. 检查声明。 在声称行为有所改善之前,定义人类或 Agent 群体以及目标测试。
  6. 改写。 修改范围最小的所属部分。使用通俗语言、每句一条规则、明确指定角色、封闭状态词、默认值和精确的停止条件。
  7. 处理代码。 先编写测试,并将代码证明与指令证明分开。
  8. 验证。 重新计算哈希、台账覆盖率、受保护片段、链接、元数据、加载情况、测试、软件包状态和最终状态回读。在相同环境中比较基线与候选版本。
  9. 接受或还原。 只有在已声明的成本降低、所有不变量均通过且没有剩余否决项时,才接受。否则还原,或返回精确的阻止状态。

子项提取

只有当子项具有独立的触发条件、独立的结果、明确的接口、规范所有权、直接测试、父项路由测试、预期复用收益高于协调成本,且加载图无环时,才创建子项。绝不能仅为减少行数而拆分。

验收

ACCEPT 要求:

  • 重新计算基线和候选数据包的哈希值;
  • 台账覆盖率为 1.0,且不存在未经授权的损失;
  • 每个受保护片段均通过检查或获得精确审批;
  • 在相同环境中,至少一项声明的成本有所降低;
  • 原生检查、任务检查、软件包检查、链接检查和回读检查均通过;
  • 所有十个原生压力案例均保留其要求和禁止的行为。

软件包 PASS、评估注册、行为评估 PASS、组件状态和整体技能 PASS 是彼此独立的结果。

资源

  • 简化模型
  • 保留契约
  • 依赖项核对
  • 用于台账模板的 assets/
  • 用于已接受和受阻结果的 examples/
  • 用于原生案例溯源和可移植测试的 evals/
  • 用于软件包检查的 mise run test

工厂执行契约

可接受的结果是:降低技能复杂度,同时证明语义一致性并保留每项已接受的行为。在更改其最小责任归属方时,保留当前保持行为的简化行为。

  1. 使用 mise run ci 冻结当前软件包并记录其摘要。
  2. 运行 mise run domain-research-policy,然后评估当前保持行为的简化来源及反证。
  3. 为指定的保持行为的简化操作运行 mise run agentic-request。将语义选择交由模型处理。
  4. 运行 mise run decision-policy、mise run ci 和行为评估。返回到失败层级最低的责任归属方。
  5. 运行 mise run invocation-policy -- <receipt>,并说明每项任务的情况,或说明其领域特定的不适用原因。
  6. 可选运行 mise run improvement-policy。只有在没有受保护维度出现退化时,才保留单一维度的更改。

仅在需要其契约时,才通过 mise run use-case-policy 加载 assets/use-case-contract.json,并通过 mise run evals 加载 evals/evals.json。

Mise 负责可重复的机制、顺序、凭据和检查。模型负责代码无法提供的解释、因果判断、创造性工作和直接感知。遇到缺少授权、证据过时或关卡失败时,应停止。

评论

支持 Markdown