Tag
This article introduces Onyx, a VM for programmable agent orchestration, turning agent orchestration into software engineering by providing a runtime with clear semantics and execution model. It discusses the design decisions and limitations of current agent systems, and presents the PROGRAMS specification.
This paper introduces Formal Skill, a runtime-native abstraction for LLM agents that encodes reusable procedures as executable state machines with JSON metadata, Python executors, and hook-governed control logic. An open-source implementation called FairyClaw is presented, showing competitive performance on Harness-Bench with reduced token usage.