About programming-as-theory-building-skill on AIStoreHub
Description: Claude Code skill that applies Naur's Programming as Theory Building to coding-agent workflows.
Asset Type: agent (agents).
Compatible Foundation Models: Frontier LLMs (GPT-4o, Claude 3.5 Sonnet, Gemini 1.5 Pro).
How to install or reuse: Using the official AIStoreHub CLI:pip install aistorehub && aihub pull community/programming-as-theory-building-skill
