Paper page - SkillSpec: Intent-Masked Specification Reasoning for Agent Skill Correctness

Source: https://huggingface.co/papers/2609.06052 Hi everyone! I’m one of the authors of SkillSpec.

Autonomous agent systems increasingly depend on reusable skill abstractions for consolidating experiential knowledge and domain expertise. These artifacts typically bundle free-form instructions with heterogeneous resources. However, ensuring their correctness remains challenging. Their failure modes transcend conventional code defects to subtle semantic inconsistencies such as intent conflicts, which manifest assilent failures masked by the underlying model. Moreover, skill correctness must be grounded in intended task boundaries and generalizability.

We proposeSkillSpec, a Hoare-style framework that formulates skill correctness as a specification reasoning problem. It transforms a heterogeneous skill repository into a unified graph representation that aligns descriptions, instructions and code artifacts. For each node, SkillSpec derives an ExpectSpec from the surrounding declared intent, and infers FactSpecs from encoded behavior under partially disclosed intent. Anintent maskregulates access to holistic, lineage, neighborhood, and local views to balance the bias introduced by excessive context against unsupported inference caused by insufficient context. SkillSpec jointly reasons over these views to flag candidate defects, and automatically validates them in an isolated sandbox.

On 515 real-world skills from SkillsBench and widely downloaded repositories, SkillSpec identified763 manually confirmed defects across 239 skills, achieving61.2% precision. The node-level analysis across multiple model families shows that specification reasoning is consistently reliable for code nodes, whereas plain-text nodes remain a major bottleneck. Most defects arise at the boundaries between declared intent and implementation, demonstrating that explicit specifications provide a practical foundation for skill quality assurance in real-world agent ecosystems.

Code and the defect dataset are publicly available:

• Code:https://github.com/IainZhang/SkillSpec
• Dataset:https://huggingface.co/datasets/IainZhang/SkillSpec

We welcome feedback and discussion from researchers and developers building reusable agent skills!