Upload via GUI (271 Dateien)

2026-11-10 21:10:32 +00:00
parent 623959de2b
commit 0e7ef1d200
2 changed files with 20 additions and 0 deletions
@@ -0,0 +1,4 @@
+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."