SIGIL：可靠且高效的代理执行的技能编译

代理技能描述了可重用的过程，但运行时模型仍然必须解释其指令并协调执行。我们引入了技能编译，它将编写的技能规定的过程转换为可执行的工具，同时保留留给模型的决策。我们的编译器 SIGIL 将技能及其资源转换为类型化的中间表示，对其进行验证，并确定性地生成工具。我们根据 11 项合规性关键技能评估 SIGIL，其中遵循规定的程序是正确性的一部分。 SIGIL 提高了所有四种运行时模型的依从性，实现了高达 100% 的测量平均技能依从性，而直接 SKILL.md 执行的平均技能依从性为 26.2-54.0%。在此套件中，SIGIL 将四个模型中的三个模型的总运行时间词元减少了 21-45%。在 SkillsBench 上，SIGIL 还提高了所有四种模型的任务性能，绝对提升了 3.5-35.7 个百分点。这些发现表明，将可重用的技能程序编译成可执行的工具可以提高依从性、任务完成度和运行时效率。