{"name":"anamkwon-programming-as-theory-building-skill","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"anamkwon-programming-as-theory-building-skill","source":{"source":"github","repo":"anamkwon/programming-as-theory-building-skill"},"description":"Programming as Theory Building guidelines for coding agents, grounded in Peter Naur's paper and focused on preserving program theory during code work.","version":"1.0.0","strict":true,"keywords":["coding","skills","programming-as-theory-building","naur","code-generation"],"category":"development"}]}