菜单
Use when verifying AHKFlowApp build, tests, formatting, diagnostics, security, or readiness before commit, push, or PR.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | dck-verify |
| description | Use when verifying AHKFlowApp build, tests, formatting, diagnostics, security, or readiness before commit, push, or PR. |
Verification is evidence, not confidence. Report PASS, WARN, FAIL, or SKIP for each phase you run.
| Change | Phases |
|---|---|
| Feature, refactor, pre-PR | All 7 |
| Bug fix | Build, diagnostics, tests, diff |
| Dependency update | Build, tests, vulnerable packages, format |
| EF migration | Build, migration SQL review, tests, format, diff |
| Skill/docs only | Targeted text checks, setup script if skill surface changed, diff |
| Formatting only | Format check and diff |
When unsure, run the full pipeline.
dotnet restore AHKFlowApp.slnx
dotnet build AHKFlowApp.slnx --configuration Release --no-restore
FAIL on any build error. If this fails, use dck-build-fix.
Use Roslyn MCP when configured:
get_diagnostics
Scope to changed files for narrow work; use the solution for broad refactors. Treat new errors as FAIL and new warnings as WARN unless the project already accepts them.
Use Roslyn MCP when available:
detect_antipatterns
Look especially for sync-over-async, DateTime.Now/UtcNow, missing CancellationToken, new HttpClient(), broad catch (Exception), and EF read queries missing AsNoTracking where appropriate.
dotnet test --configuration Release --no-build --verbosity normal
For narrow changes, run affected test projects first, then broaden if risk warrants:
dotnet test tests/AHKFlowApp.Application.Tests --configuration Release --verbosity normal
dotnet test tests/AHKFlowApp.API.Tests --configuration Release --verbosity normal
Any failing test is FAIL.
dotnet list AHKFlowApp.slnx package --vulnerable --include-transitive
Review changed files for hardcoded secrets, SQL concatenation, missing auth attributes, permissive CORS, disabled HTTPS/cert validation, and accidental .env or credential files.
Target the solution explicitly:
dotnet format AHKFlowApp.slnx --verify-no-changes
If line-ending drift or formatting changes are reported:
dotnet format AHKFlowApp.slnx
dotnet format AHKFlowApp.slnx --verify-no-changes
git status --short
git diff --stat
git diff --check
Inspect the diff for accidental files, debug leftovers, secrets, stale references, and changes outside the task.
When .agents/* skills change:
pwsh -NoProfile -File scripts/agents/setup-cross-agent-skills.ps1
Then verify:
Get-ChildItem -Directory .claude/skills | Select-Object -ExpandProperty Name
Get-ChildItem -Directory .github/skills | Select-Object -ExpandProperty Name
fsutil hardlink list ".agents/dck-verify/SKILL.md"
codex plugin list
For renamed skills, confirm no stale .agents/cck-* directories remain and the Codex plugin cache was refreshed if the active Codex plugin should see the new names.
| Phase | Result | Evidence |
|---|---|---|
| Build | PASS | 0 errors |
| Diagnostics | SKIP | Roslyn MCP unavailable in this session |
| Tests | PASS | Failed: 0 |
| Format | PASS | verify-no-changes exit 0 |
| Diff | WARN | docs-only changes plus plugin cache refresh |
Verdict: READY / NEEDS FIXES
Do not claim ready until the evidence is fresh.
Use when creating, removing, or troubleshooting AHKFlowApp git worktrees across Claude Code, Codex, or Copilot.
Use when optimizing AHKFlowApp agent workflow, worktrees, planning, verification loops, context budget, or tool usage.
Compact the current conversation into a handoff document for another agent to pick up.
Use to scan .NET code for performance anti-patterns across async, memory, strings, collections, LINQ, regex, and I/O.
Use to evaluate assertion depth and diversity across a test suite and flag assertion-free, shallow, or tautological tests.
Use to audit an existing test file or suite for anti-patterns and quality issues, producing a severity-ranked report.