make verify fails for Codex: missing Progress

[brozkeff]

Progress skill seems to be installed only for Claude but verify checks all:

 make install
make[1]: Vstupuje se do adresáře „/home/brozkeff/Shared/Projects/forge-learn/lib“
cargo build --release
    Finished `release` profile [optimized] target(s) in 0.20s
make[1]: Opouští se adresář „/home/brozkeff/Shared/Projects/forge-learn/lib“
Targeting provider directory: .claude/agents
Installed: CodeHelper.md to .claude/agents
Targeting provider directory: .gemini/agents
Installed: CodeHelper.md to .gemini/agents
Targeting provider directory: .codex/agents
Installed: CodeHelper.toml to .codex/agents
Updated .codex/config.toml with 1 agent entries
Targeting provider directory: .opencode/agents
Installed: CodeHelper.md to .opencode/agents
make[1]: Vstupuje se do adresáře „/home/brozkeff/Shared/Projects/forge-learn/lib“
cargo build --release
    Finished `release` profile [optimized] target(s) in 0.10s
make[1]: Opouští se adresář „/home/brozkeff/Shared/Projects/forge-learn/lib“
Installed skill: Explain -> /home/brozkeff/Shared/Projects/forge-learn/.claude/skills
Installed skill: FixIt -> /home/brozkeff/Shared/Projects/forge-learn/.claude/skills
Installed skill: GitHelp -> /home/brozkeff/Shared/Projects/forge-learn/.claude/skills
Installed skill: Kickstart -> /home/brozkeff/Shared/Projects/forge-learn/.claude/skills
Installed skill: Progress -> /home/brozkeff/Shared/Projects/forge-learn/.claude/skills
Installed skill: Summarize -> /home/brozkeff/Shared/Projects/forge-learn/.claude/skills
Installed skill: Tour -> /home/brozkeff/Shared/Projects/forge-learn/.claude/skills
  skip gemini skill install (gemini CLI not installed)
Installed skill: Explain -> /home/brozkeff/Shared/Projects/forge-learn/.codex/skills
Installed skill: FixIt -> /home/brozkeff/Shared/Projects/forge-learn/.codex/skills
Installed skill: GitHelp -> /home/brozkeff/Shared/Projects/forge-learn/.codex/skills
Installed skill: Kickstart -> /home/brozkeff/Shared/Projects/forge-learn/.codex/skills
Installed skill: Summarize -> /home/brozkeff/Shared/Projects/forge-learn/.codex/skills
Installed skill: Tour -> /home/brozkeff/Shared/Projects/forge-learn/.codex/skills
Installed skill: Explain -> /home/brozkeff/Shared/Projects/forge-learn/.opencode/skills
Installed skill: FixIt -> /home/brozkeff/Shared/Projects/forge-learn/.opencode/skills
Installed skill: GitHelp -> /home/brozkeff/Shared/Projects/forge-learn/.opencode/skills
Installed skill: Kickstart -> /home/brozkeff/Shared/Projects/forge-learn/.opencode/skills
Installed skill: Summarize -> /home/brozkeff/Shared/Projects/forge-learn/.opencode/skills
Installed skill: Tour -> /home/brozkeff/Shared/Projects/forge-learn/.opencode/skills
Installation complete. Restart your session or reload agents/skills.
[brozkeff:~/Shared/Projects/forge-learn]└2 <default_py312> main(+4/-4) ± make verify
Verifying claude skills in /home/brozkeff/Shared/Projects/forge-learn/.claude/skills...
  ok Explain
  ok FixIt
  ok GitHelp
  ok Kickstart
  ok Progress
  ok Summarize
  ok Tour
  skip gemini skill verification (gemini CLI not installed)
Verifying codex skills in /home/brozkeff/Shared/Projects/forge-learn/.codex/skills...
  ok Explain
  ok FixIt
  ok GitHelp
  ok Kickstart
  missing Progress
  ok Summarize
  ok Tour
make: *** [lib/mk/skills/verify.mk:32: verify-skills-codex] Chyba 1

[brozkeff]

Workaround: Ask the codex agent to then copy the skill from .claude to .codex folder :-)

[brozkeff]

Cause found: missing Skills in defaults.yaml. Need to add Progress to codex etc, not just claude.

[jnemec91]

When we add Progress for all providers, we should edit .md files as well, as i did in PR #10