From 5bf12eb44aec044bf359862e77d4750f1e4e12db Mon Sep 17 00:00:00 2001 From: Kailigithub <12250313+Kailigithub@users.noreply.github.com> Date: Sun, 3 May 2026 03:15:54 +0000 Subject: [PATCH] fix: exclude hidden and archive dirs from _find_skill rglob --- tools/skill_manager_tool.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/skill_manager_tool.py b/tools/skill_manager_tool.py index ed4cb3f103..d253cd2a7c 100644 --- a/tools/skill_manager_tool.py +++ b/tools/skill_manager_tool.py @@ -283,11 +283,13 @@ def _find_skill(name: str) -> Optional[Dict[str, Any]]: external dirs configured via skills.external_dirs. Returns {"path": Path} or None. """ - from agent.skill_utils import get_all_skills_dirs + from agent.skill_utils import EXCLUDED_SKILL_DIRS, get_all_skills_dirs for skills_dir in get_all_skills_dirs(): if not skills_dir.exists(): continue for skill_md in skills_dir.rglob("SKILL.md"): + if any(part in EXCLUDED_SKILL_DIRS for part in skill_md.parts): + continue if skill_md.parent.name == name: return {"path": skill_md.parent} return None