需求进入可执行契约
把自然语言需求压缩成稳定的 controller DSL。
以工程控制的哲学,获取真正的生产力。
把 Agent 从生成器约束为可验证、可审查、可交付的工程执行系统。
R0 Skills 将意图、约束、证据、门禁与交付物组织成统一契约。 它关注的不是一次回答的流畅度,而是长期工程过程中可复验的产出、可追溯的决策和可治理的失败。
$ curl -fsSL "https://f.shine-shy.com/skills_man.sh" | bash -s --
复制 □
每个 skill 都把一次智能行为拆成可记录的状态、可校验的证据和可阻断的门禁。
bad cases、research notes、dirty-target gates 与 sync dry-run 共同维持 skill 生态稳定。
一个仓库,一套契约。Codex、Claude Code 以及任何能读取本地 skill 文件的工具, 都共享相同的操作规范、证据目录和交接规则。
把自然语言需求压缩成稳定的 controller DSL。
从数据流、IO、组件依赖三轴推演事故放大点。
把多轮修改放入 scope lock、verify loop 和 repair loop。
审查 diff、AST context 与后端风险词典,先输出问题再总结。
把 staged、dirty target、remote branch 和 PR/MR 路径统一审计。
用 AST、依赖图、SCC、DAG 和中心性分析建立项目认知。
将系统、数据流、部署或 agent 架构编译成可校验图形。
从真源信号、架构证据和图表产物进入文章工作区。
把 bad cases、research notes 和同步预检变成治理闭环。
任何工具只要能读取本地 skill 文件,就能沿同一套证据路径继续工作。
R0 Skills 提供一套持续维护的操作层:需求结构化、后端约束、长程实施、代码审查、 提交安全、架构阅读、技术图谱生成、长文写作与 skill 生态治理。
每个 skill 都作为独立控制单元呈现:定义输入边界、状态转移、证据产物、失败门禁与组合接口,用于构建可审计、可复验、可持续演进的工程执行链路。
SOP 组合被定义为一组可验证的状态转移:上游 skill 以 artifact 形式暴露前置条件, 下游 skill 只消费通过 gate 的证据集合,并在退出时写回可审计的 handoff 记录。
每个 skill 都以 compact summary、evidence、risk 与 auto-evolution path 作为统一出口。
Request 文档、AST context、graph artifacts、diagram 与 submit records 让工作过程可检查。
数据流、IO 操作与组件依赖会在脆弱变更落地前完成约束推演。
Bad cases、research notes 与 dirty-target preflight 维持本地 skill 生态稳定。
从安装开始,R0 Skills 就以本地契约形态进入工作环境:同步运行入口、校验引用路径,并为后续执行保留清晰的交接边界。
$ curl -fsSL "https://f.shine-shy.com/skills_man.sh" | bash -s --
复制 □