5 lines
197 B
YAML
5 lines
197 B
YAML
interface:
|
|
display_name: "Verify and Stop"
|
|
short_description: "Run relevant proof then stop cleanly"
|
|
default_prompt: "Use $verify-and-stop to prove acceptance criteria without adding scope."
|