AI Summary"name": "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.", "name": "Programming as Theory Building Skill contributors"
Install
Type these inside Claude Code's chat:
/plugin marketplace add AnamKwon/programming-as-theory-building-skill
/plugin install programming-as-theory-building-skill@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.
Discussion
0/2000
Loading comments...
Health Signals
MaintenanceCommitted 9d ago
● ActiveAdoptionUnder 100 stars
26 ★ · NicheDocsREADME + description
Well-documentedMIT License
My Fox Den
Community Rating
Sign in to rate this booster
Works With
Claude Code