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

Xi Zhang, Meijun Gao, Yuntian Zhao +6

Large Language Model (LLM) agents increasingly act inside real workspaces, where tools and skills determine whether model reasoning becomes reliable action. Existing skills remain…