用途：在 Elixir/Phoenix 项目中执行项目感知的验证循环，适合实现完成后、提交 PR 前或修复 bug 后运行，确认改动可编译、格式正确并通过测试。
主要能力与原则：先发现再执行，先读 mix.exs，未声明依赖不运行对应工具；若存在 :ex_check 与 .check.exs，优先用 mix check 替代单步；若存在 mix ci 之类的组合别名，优先使用；按顺序执行，后一步假定前一步通过；单元测试自动运行，E2E/集成测试需用户确认；未展示真实命令输出不得报告成功。
步骤 0 项目发现：读取 mix.exs 的 deps/0、aliases/0、cli/0（preferred_envs），并检查 .check.exs；识别 :credo、:dialyxir、:sobelow、:ex_check、:excoveralls、:boundary 等工具，以及单元与 E2E 测试命令（如 mix test、mix playwright.test、mix cypress.run、mix playwright.run）。
验证顺序：先尝试 mix check 或组合别名，需确认依赖已在 mix.lock 中且命令可用，失败则回退到单步并记录原因。单步依次为：mix compile --warnings-as-errors（始终）、mix format --check-formatted（始终，失败可用 mix format 修复）、mix credo --strict（仅当 :credo 在依赖中）、mix test --trace（始终，可用项目别名）、mix dialyzer（仅当 :dialyxir 在依赖中，通常在 PR 前）、mix sobelow --config（仅当 :sobelow 在依赖中）。不可用工具标记跳过。
附加测试：核心验证通过后，若发现 E2E、集成或覆盖率命令，询问用户是否运行，并遵守 cli/0 的 MIX_ENV 设置。用法：运行 /phx:verify，发现过程自动完成，仅在所有选定检查通过后再提交。限制：资料未提供安装命令、收费与平台信息；不自动运行 E2E；不展示真实输出不算验证通过。