diff --git a/Library/Homebrew/dev-cmd/verify.rb b/Library/Homebrew/dev-cmd/verify.rb
index 964c7a658e..9fec3c2dce 100644
--- a/Library/Homebrew/dev-cmd/verify.rb
+++ b/Library/Homebrew/dev-cmd/verify.rb
@@ -1,4 +1,4 @@
-# typed: true
+# typed: strict
 # frozen_string_literal: true
 
 require "abstract_command"
diff --git a/Library/Homebrew/sorbet/rbi/dsl/homebrew/dev_cmd/verify_cmd.rbi b/Library/Homebrew/sorbet/rbi/dsl/homebrew/dev_cmd/verify_cmd.rbi
new file mode 100644
index 0000000000..e31cbfa379
--- /dev/null
+++ b/Library/Homebrew/sorbet/rbi/dsl/homebrew/dev_cmd/verify_cmd.rbi
@@ -0,0 +1,37 @@
+# typed: true
+
+# DO NOT EDIT MANUALLY
+# This is an autogenerated file for dynamic methods in `Homebrew::DevCmd::VerifyCmd`.
+# Please instead update this file by running `bin/tapioca dsl Homebrew::DevCmd::VerifyCmd`.
+
+
+class Homebrew::DevCmd::VerifyCmd
+  sig { returns(Homebrew::DevCmd::VerifyCmd::Args) }
+  def args; end
+end
+
+class Homebrew::DevCmd::VerifyCmd::Args < Homebrew::CLI::Args
+  sig { returns(T.nilable(String)) }
+  def arch; end
+
+  sig { returns(T.nilable(String)) }
+  def bottle_tag; end
+
+  sig { returns(T::Boolean) }
+  def deps?; end
+
+  sig { returns(T::Boolean) }
+  def f?; end
+
+  sig { returns(T::Boolean) }
+  def force?; end
+
+  sig { returns(T::Boolean) }
+  def j?; end
+
+  sig { returns(T::Boolean) }
+  def json?; end
+
+  sig { returns(T.nilable(String)) }
+  def os; end
+end