diff --git a/.claude/commands/formspec.check.8.md b/.claude/commands/formspec.check.8.md
index 500277f..9060ada 100644
--- a/.claude/commands/formspec.check.8.md
+++ b/.claude/commands/formspec.check.8.md
@@ -1,5 +1,6 @@
 ---
 description: Cross-artifact consistency check across all formspec artifacts
+argument-hint: [scope]
 allowed-tools: [Read, Glob, Grep, Bash, Task]
 ---
 
diff --git a/.claude/commands/formspec.verify.3.md b/.claude/commands/formspec.verify.3.md
index a19354b..caeb654 100644
--- a/.claude/commands/formspec.verify.3.md
+++ b/.claude/commands/formspec.verify.3.md
@@ -1,5 +1,6 @@
 ---
 description: Run the TLC model checker on the formal specification
+argument-hint: [property-name]
 allowed-tools: [Read, Glob, Grep, Bash]
 ---