Upload via GUI (324 Dateien)

2026-10-30 05:54:11 +00:00
parent 4ef589ebbc
commit a70916fc7d
50 changed files with 4159 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."