$ skill picker in app-server TUI is capped, not scrollable, and makes installed skills undiscoverable

Description

The $ skill picker in Codex CLI's app-server TUI appears to show only a small fixed subset of installed skills and does not provide a way to scroll or browse the rest of the list.

This makes skill discovery much worse after migrating from deprecated custom prompts to skills. Even when skills are installed and working, they can be effectively invisible unless the user already knows what to type and manually filters by prefix.

Version

• Codex CLI: 0.117.0

Platform

• macOS (Apple Silicon)
• Terminal.app
• zsh

Context

I was migrating from deprecated custom prompts to the new skills-based flow.

I confirmed the following locally:

• Skills are installed and readable under ~/.codex/skills
• Skills with UI metadata (agents/openai.yaml) do appear in the $ picker
• The picker does surface some skills, so registration is working
• However, the picker only shows a limited subset at a time
• There appears to be no way to scroll through the full list from the picker UI
• This makes many installed skills undiscoverable unless I already know to type a prefix like $gsd, $zod, etc.

Steps to Reproduce

1. Install or register a large number of skills in ~/.codex/skills
2. Ensure they have SKILL.md
3. Ensure they have agents/openai.yaml so they are eligible for the UI
4. Start Codex CLI with app-server TUI enabled
5. Type $

Expected Behavior

• The $ picker should allow browsing all installed visible skills
• It should be scrollable with arrow keys, page keys, or vim-style keys
• It should clearly indicate there are more items beyond the first visible page
• Users should not be forced to memorize skill names just to discover what is installed

Actual Behavior

• The $ picker shows only a small fixed subset of skills
• It does not appear scrollable
• It resets to the same visible subset
• The only practical workaround is to already know the skill name and type a filter prefix manually

Why This Matters

Codex is explicitly moving users from deprecated custom prompts to skills, but the current picker UX makes that transition much worse for anyone with a non-trivial skill set.

This creates a discoverability regression:

• old world: prompts were directly discoverable in a picker
• new world: skills are the supported mechanism, but the picker does not let users browse what they have

Related Observations

I also observed that:

• custom prompts are deprecated and now show a deprecation warning
• app-server TUI currently has incomplete custom prompt picker support
• skills seem to be the intended future path, which makes the $ picker behavior more important

Request

Please make the $ skill picker fully browseable:

• scrolling
• page navigation
• clear “more items” affordance
• better discovery when many skills are installed

Even a temporary “show all skills in a separate modal/list” would be a major improvement.

A search/filter-only picker is not enough here because it assumes the user already remembers the skill names. The main problem is discoverability.