Sigil

Sigil 把 Markdown 编写的 `SKILL.md` 编译成可执行状态机，为每个步骤注入前后置条件、验收标准和失败处理。Agent 不能靠文字声称“已经完成”来跳过流程，运行时会依据日志和状态检查是否允许进入下一步。它针对的是提示词约束缺乏强制力的问题，把工作规范提升为可验证的控制平面。