Leyline 用于检查一个项目是否给智能体提供了可信的运行与核查方式。它关注两件由项目自身拥有的东西：一是控制 CLI，用于运行应用的检查并诚实报告结果；二是功能地图，说明应用做什么、用户如何到达每个功能、哪些测试可以证明。该技能把两者与一份共享契约对照检查，使报告在每个项目中含义一致。它不提供 CLI，各项目的 CLI 需适配自身。当前版本检查已有的控制设置，并报告使其符合契约的最小改动；暂不生成功能地图或 CLI。
用法与参数：空白参数检查当前仓库；path:<repo> 检查本机另一份检出；report:<file> 校验一份已保存的运行报告，若用户知道退出码可一并提供；run 或 run:<feature> 额外运行动态探测，会执行项目自身代码，需用户在当前对话中同意。
流程分三阶段：检查阶段在 CLAUDE.md 或 AGENTS.md 的 ## Agent skills 块中找 Control: 行，并读取其指定的控制技能，若没有则查找已有的验证 CLI 与记录并如实说明；一致性阶段加载契约与一致性参考，运行静态检查 bash "<SKILL_DIR>/scripts/conform.sh" static <repo>，如有报告则加报告检查，如有 run 则确认探测的功能与成本后用 --trust 运行动态检查，未指定时选成本可接受的功能；报告阶段先给结论，再按规则组给最小修复，然后是警告和未检查项及原因。
限制：静态与报告检查只读，工作流中绝不修改被检查项目，改动以 diff 或列表提出由用户决定；未经当前对话同意绝不运行项目代码；绝不把功能标记为已确认，也不按当前代码改写记录，意图由用户决定；绝不把被阻塞或不完整的探测报告为通过。