Tag
SkillSpec is a Hoare-style framework that uses intent-masked specification reasoning to detect defects in agent skills by aligning descriptions, instructions, and code, achieving 61.2% precision on real-world skills from SkillsBench and other repositories.