Show HN: A Claude Code skill that scopes problems like Peter Naurgithub.com/spinchange2 pointsspinchange24 days agoBased on Naur's "Programming as Theory Building" (1985) Asks agent to create a problem-theory artifact before writing code.