Communitygithub.com

AnamKwon/programming-as-theory-building-skill

Naurの「プログラミングとは理論構築である」という概念をコーディングエージェントのワークフローに適用するClaude Codeスキルです。

programming-as-theory-building-skill とは?

このスキルは、Peter Naurが提唱した「プログラミングとは理論構築である (Programming as Theory Building)」という概念を、Claude CodeのようなAIコーディングエージェントのワークフローに統合するためのClaude Codeスキルです。これにより、開発者は単なるコード生成を超え、ソフトウェア開発を深い理論的・文脈的理解に基づく活動として進めることができます。具体的には、コードやドキュメントだけでなく、その背後にある設計意図やドメイン知識を体系化し、エージェントがプロジェクト全体の「理論」を構築・維持しながら開発を行うことを支援します。Claude Codeプラットフォーム上で動作し、SKILL.mdファイルを通じて定義された指示に従い、開発プロセス全体にわたって一貫性と深い理解を促進します。

対応✓Claude Code~Codex CLI~Cursor
npx skills add AnamKwon/programming-as-theory-building-skill

お気に入りのAIに質問する

このエージェントスキルを事前に読み込んだ状態で新しいチャットを開きます。

ドキュメント

programming-as-theory-building-skill は何をしますか?

Naurの「プログラミングとは理論構築である」という概念をコーディングエージェントのワークフローに適用するClaude Codeスキルです。

関連スキル