programmable-runtime

本文介绍了Onyx，一个用于可编程代理编排的虚拟机，通过提供具有清晰语义和执行模型的运行时，将代理编排转变为软件工程。它讨论了当前代理系统的设计决策和局限性，并介绍了PROGRAMS规范。

本文介绍了Formal Skill，这是一种面向LLM智能体的运行时原生抽象，它将可重用流程编码为可执行状态机，配有JSON元数据、Python执行器和钩子控制的逻辑。还介绍了一个名为FairyClaw的开源实现，在Harness-Bench上展示了具有竞争力的性能，且减少了token使用量。