TUI: $ picker is bloated with un-set-up Apps, making it hard to find skills by name

What version of Codex is running?

codex-cli 0.133.0

What platform is your computer?

Linux 5.15.167.4-microsoft-standard-WSL2 (WSL2, x86_64)

What terminal emulator and version are you using (if applicable)?

tmux (TERM=tmux-256color)

What issue are you seeing?

When I press $ in the TUI to open the mention/picker, the list is dominated by Apps I have never configured or authenticated. Skills and plugins I actually use are pushed down or get out-ranked by fuzzy matches against app names, so finding the right entry by typing its name has become noticeably harder since the picker was unified (see PRs #19068, #22375 in 0.131.0, and the further app/skill routing in #22914 / #23535 in 0.133.0).

Concretely: if I know the skill I want is called foo-bar, typing $foo now competes against every installed-but-unconfigured App that happens to fuzzy-match foo, instead of surfacing the skill I'm actually able to use right now.

Expected behavior

Apps I have not set up should not crowd the $ picker. Either of these would fix it for me:

1. Hide un-set-up Apps by default in the $ picker — only show Apps that are actually configured/authed and usable. An unconfigured App in the picker is a dead entry; it just adds noise.
2. Allow hiding/collapsing Apps from the $ picker via config, e.g. something like:

``toml
[tui.mention_picker]
include_apps = false # or "configured_only"
``
so users who don't use Apps at all can take them out of the picker entirely, and users who do can opt into a "configured only" mode.

Ideally both: hide unconfigured Apps by default, and expose a config knob for users who want to hide all Apps.

Related issues

• #19911 — skill management / picker UX (context budget angle)
• #22888 — @chrome mention does not surface the Chrome skill
• #22735 — @superpowers mention regression
• #22716 — @ plugin picker stuck on "Loading plugins…"
• #20629 — Codex App briefly shows bundled system skills, then hides them

None of these track the specific "Apps clutter the $ picker / hard to find skills by name" complaint, so filing this separately.