Programming as theory building

Skill AnamKwon/programming-as-theory-building-skill/skills/programming-as-theory-building

Claude Code skill that applies Naur's Programming as Theory Building to coding-agent workflows.From the repository description

Install

npx -y skills add AnamKwon/programming-as-theory-building-skill --skill programming-as-theory-building

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

Keep looking

Skills are one crate of 628,971. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.