Delete 52 files via Git Manager GUI

2026-11-02 21:55:00 +00:00
parent b134e19bd0
commit b711a3a7a1
52 changed files with 0 additions and 4240 deletions
@@ -1,4 +0,0 @@
-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."