SkillEffect: Checked Lowering for Memory-Bounded Agent Tools: Agent Skills can specify procedural and resource obligations for...

Source Brief

SkillEffect: Checked Lowering for Memory-Bounded Agent Tools: Agent Skills can specify procedural and resource obligations for tool use, and language models instantiate them as concrete programs. However, when models turn this guidance into code for existing tool interfaces, even a semantically correct program may load an entire input and exceed the memory available to one tool call. We present SkillEffect, a checke...