ada-dotnet-verification

Verifies .NET and C# changes with tiered build, test, format, and diff evidence.

Updated Jul 23, 2026
One-click install
npx skills add https://github.com/wubing7755/Ada --skill ada-dotnet-verification-wubing7755
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: ada-dotnet-verification
Source: https://github.com/wubing7755/Ada/tree/main/skills/software-development/ada-dotnet-verification
Command: npx skills add https://github.com/wubing7755/Ada --skill ada-dotnet-verification-wubing7755

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve? After editing .NET, C#, or Blazor code, it is easy to claim a change works based on weak evidence — a single focused test, a stale package cache, or a build that silently skipped locked outputs. This Skill enforces evidence-backed verification so every claim of "done" is backed by exact commands and honest pass/fail results. ## Core Features & Use Cases - Four-tier verification ladder: focused RED/GREEN TDD checks, focused module regression sets, full project gates (build, test, format, git diff --check), and ad-hoc verifier scripts for handoff evidence. - Build graph and artifact freshness: reconstructs the build graph from solutions, CI, and package configuration to catch stale NuGet packages, unbundled JS/CSS assets, and consumers resolving old package versions. - Windows lock recovery: diagnoses MSB3021/MSB3027 output-tree locks from IDEs or stale testhost.exe processes and verifies via isolated --artifacts-path directories instead of killing the user's IDE. - Use Case: You changed a Razor component and its tests on Windows, but dotnet test fails with a DLL lock. The Skill identifies the lock, runs build and focused tests in an isolated temp artifacts directory, and reports focused versus full-suite evidence separately. ## Quick Start Ask the agent to verify your recent .NET changes by running the focused tests, full build and test gate, dotnet format check, and git diff check, reporting the exact commands and results.

Frequently Asked Questions about ada-dotnet-verification

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I verify .NET changes after editing code?

Run a four-tier ladder: a focused RED/GREEN test for the changed behavior, a regression set for the touched module, then the full project gate with dotnet build, dotnet test --no-build, dotnet format --verify-no-changes, and git diff --check. Report focused and full-suite evidence separately.

How to fix MSB3021 or MSB3027 file lock errors in dotnet test?

These errors are output-tree locks from IDEs or stale testhost.exe processes holding DLLs under bin/Debug. Do not kill the IDE; instead run dotnet build and dotnet test with --artifacts-path pointing to an isolated temp directory, then clean it up afterward.

Does dotnet format differ from the dotnet-format global tool?

Yes. The deprecated dotnet-format global tool conflicts with the SDK built-in command. For .NET 6 and later, always use the built-in dotnet format command without a hyphen, typically as dotnet format --verify-no-changes in verification gates.

Why does a .NET build fail after switching SDK versions?

Cross-SDK obj contamination occurs when generated NuGet imports under obj/ retain package references from another SDK, causing task load failures. Verify in a clean source copy or move obj/ aside and let the target SDK regenerate it rather than changing project settings.

When should I not use .NET verification gates?

Do not use this workflow for running full CI pipelines, performance benchmarking, security scanning, or root-cause debugging of unreproduced bugs. It is designed for post-edit evidence gathering, not for design work or non-.NET toolchains like Python pytest.