Feature: runtime skill source toggles and per-name skill exclusion

What feature would you like to see?

Motivation

Currently, all six skill sources (builtin, user, workspace, plugin, extra, explicit) are unconditionally merged into the skill catalog, and every discovered skill appears regardless of user preference. There is no way to:

• Disable an entire skill source at runtime (e.g. suppress workspace skills in favor of a curated builtin set).
• Hide specific skills by name without removing them from disk.

Proposed solution

Two new config.toml sections consumed by WorkspaceSkillCatalogService:

[skill_sources]

Per-source boolean toggles. Setting any key to false disables that entire source in the merged catalog. The source is still scanned; only the merge phase skips it.

[skill_sources]
workspace = false   # hide project-level skills
plugin = false      # hide plugin-contributed skills

All six sources default to enabled when the key is absent or the entire section is omitted.

exclude_skill_names

A string array of skill names to exclude from the merged view, compared case-insensitively.

exclude_skill_names = ["git-commit-message-zh", "map-game-codebase-zh"]

Default is [] (no exclusion).

Scope

agent-core-v2 only — consumed by WorkspaceSkillCatalogService.remerge(). Config changes take effect immediately without requiring a restart.

Branch

Implementation ready at feat/skill-source-toggles

Additional information

No response

Start with WorkspaceSkillCatalogService.remerge() and the config.toml handling in agent-core-v2; trace how the six sources are merged and how runtime config changes are observed. Check the implementation branch and existing catalog/config tests, then verify disabled sources, case-insensitive name exclusions, defaults, and immediate remerge behavior.