SkillSpec

A paper titled "SkillSpec: Intent-Masked Specification Reasoning for Agent Skill Correctness" addresses the challenge of verifying the correctness of reusable skill abstractions in autonomous agent sy…