interface:
  display_name: "Superderive"
  short_description: "Turn a rewrite sequence into a step/justification figure"
  default_prompt: >-
    Use $superderive to turn a rewrite sequence into a step/justification
    figure. Not for architecture (superfig) or tensor faces (supertensor).