用途
melech-tidy 是一个通用的、自适应的差异缩减引擎,面向使用 AI 智能体编码后的场景。当功能已完成、测试可能通过,但 git status 显示杂乱 diff 时——例如早期提示留下的孤立辅助函数、死类型、臃肿的提示指令、掩盖真实改动的外观性churn,或针对极少发生情况的 retry 和特殊分支——melech-tidy 会审计该 diff,分类发现项,并以表格形式呈现证据,在用户批准后执行清理。它只做减法,不在代码接缝间移动代码,也不重新架构。
主要能力:四条互斥的缩减通道
通道按“建议动作改变什么”划分,而不是按代码外观划分,因此互斥。
死代码与 AI 残留(Dead code)
目标:AI 迭代期间新增或修改但未被调用、孤立或不需要的代码。核心哲学是反向举证责任:每个新增符号都被假定为有罪(残留/死代码),直到被证明无罪。四项证据:
- 可达性证明:运行时能否从活跃入口点实际到达?不能则清除。
- 需求证明:哪条明确的用户提示要求了它?若答案是“以后可能用得上”,则按 YAGNI 剥离。
- 非重复证明:现有 helper、同类功能、标准库工具或依赖选项是否已经做了这件事?按用途搜索,不只看名字,并在分支用于防御依赖已处理的情况时阅读依赖源码。若是则折叠。
- 破坏性证明:若现在删除,是否有测试或行为失败?若无失败且行为无变化,则移除。
指令与提示词冗余(Prompt bloat)
目标:diff 中的系统提示、技能文件(SKILL.md)、规则指令(.cursorrules、AGENTS.md)及 markdown 提示文档。核心哲学:最小覆盖优于最大覆盖,每一行都有罪直到被证明承重。五项提示词证明:覆盖、冗余、被包含、默认知识、承重性。
外观性 diff 噪音(Diff noise)
目标:独立、纯外观性的发现项,其表示形式改变但规范产物与意图意义未变。核心哲学:先看上下文,有证明才保留;仅仅因为一行被移动就不算噪音。四项证据:意图证明、规范等价证明、无关紧要性证明、回滚安全证明。动作仅限于恢复表示形式,绝不重写语义或手改生成输出。
边缘情况取舍(Edge-case trade, 80/20)
目标:code/config 文件中仅服务于罕见情况的可用代码,例如罕见竞态的 retry、特殊错误消息、可恢复步骤周围的防御性 try/catch,以及比仓库先例更严格的 guard。核心哲学:先说出损失,再让用户取舍;绝不把取舍描述为等价。五项证明(须全部成立):频率、后果、可恢复性、先例、节省。硬底线:安全与认证、租户或用户隔离、数据完整性、金钱与隐私只能降到仓库先例,绝不低于先例,且发现项应提示安全审查者确认。
使用方式
工作流分五步:
- 解析范围(Resolve Scope):默认未提交的工作树变更;也可指定分支对基线、最近 N 次提交、特定文件或路径。若目标不明确,用 ask_question 询问用户。
- 自适应诊断与通道路由:检查请求结果、上下文与 diff,以 git diff hunk 为输入分解 diff;外观行若无法与语义编辑分离,由语义通道拥有该发现项。对每处 tidy 都会运行边缘情况取舍通道,即使用户未要求。
- 呈现统一证据与诊断表:在任何代码修改前输出按通道分组的可扫描表格,列包括通道、目标、问题/证据、建议动作、我们会失去什么、风险。表头通道使用短标签(Dead code、Prompt bloat、Diff noise、Edge-case trade),不使用通道编号。
- 请求用户明确批准:通过 ask_question 提供选项——应用全部建议;仅应用保持行为的清理(跳过边缘情况取舍);从表中自选条目;取消。无边缘情况取舍时省略第二项。未经人工签署绝不改动或删除文件。
- 外科式清理与验证:应用已批准项。运行测试(npm test、pytest、cargo test、go test)、类型检查/构建(tsc、mypy、cargo check)。若测试失败,立即修复或回滚问题改动。最后报告摘要,以通道名称而非编号开头。
适用场景
适用于 AI 辅助编码后需要缩减 diff 的场景:清理未引用符号与僵尸调用链、精简提示与规则文档、还原纯格式化 churn、以及权衡罕见情况的防御性处理。
限制与约束
- 只做减法,绝不重新架构或在工作代码间移动逻辑。
- 边缘情况取舍之外不得删减行为;每项取舍都要说明失去什么,不得称为等价或“最小化”。
- 安全、隔离、数据完整性、金钱、隐私不得低于仓库先例。
- 外观性候选必须通过四项证明,否则保留在 diff 中、不归入 Diff noise(fail closed)。
- 不得仅凭外观把 imports、声明移动、空白、生成文件或文件模式归类为噪音。
- 绝不在没有人类明确批准的情况下修改代码。
暂未提供的信息
本资料未提供收费、价格、平台支持范围、安装命令及具体集成方式等信息。