Analogical Reasoning | Claude Code Skill for Lean OS