Writing Specifications | Claude Code Skill for Lean Dev Specs