interface:
  display_name: "HolyCodex: Programming"
  short_description: "Implement scoped code with proportional proof."
  default_prompt: "Use $programming to implement this scoped code change and run its exact proof."