SkillFuzz：通过技能组合模糊测试发现开放技能市场中的隐式意图

基于大语言模型的智能体通过可复用技能自动化软件工程任务。开放技能市场允许用户组合社区贡献的技能，但单独审计可能导致 benign 技能交互产生非预期的“隐式意图”。本文将该问题形式化为技能组合上的模糊测试问题，提出 SkillFuzz：一种无需执行的测试方法，通过提取结构化技能契约并利用契约引导的蒙特卡洛树搜索，优先检测潜在冲突组合。实验表明，该方法在固定查询预算下发现了超过 1000 种隐式意图，验证准确率高且效率显著优于现有策略。