Formal Skill: Programmable Runtime Skills for Efficient and Accurate LLM Agents

In three linesFormal Skill is a runtime abstraction for LLM agents that structures reusable capabilities via JSON metadata, action schemas, Python executors, and hook-governed control logic. Implemented in FairyClaw (open-source event-driven runtime), it replaces natural-language procedures with executable state machines, reducing token usage while improving reliability on Harness-Bench.

Summary generated by Claude — human-verified