SkillSpec: Intent-Masked Specification Reasoning for Agent Skill Correctness Paper โข 2609.06052 โข Published Sep 5 โข 10