From de599d1850c7e66bb00e020aa705f87859f5915e Mon Sep 17 00:00:00 2001 From: Ohad Livne Date: Sat, 28 Feb 2026 08:54:03 +0200 Subject: [PATCH] Add a hint argument to more steps in the spec-driven workflow --- .claude/commands/formspec.check.8.md | 1 + .claude/commands/formspec.verify.3.md | 1 + 2 files changed, 2 insertions(+) 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] ---