pub fn render_skills_lean(skills: &[Skill]) -> Option<String>
Render skills section for system prompt (Codex-style lean format)
Only includes name + description + file path. Body stays on disk for progressive disclosure.