Show HN: A Claude Code skill that scopes problems like Peter Naur

Based on Naur's "Programming as Theory Building" (1985) Asks agent to create a problem-theory artifact before writing code.