メニュー
Run tests for a project with code coverage and report uncovered source lines. Use when the user asks about test coverage, wants to know which lines are uncovered, asks to check coverage for a project, or says "run coverage" or "what's not covered".
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Use this skill whenever working in a project that references Sanet.MVVM packages (Sanet.MVVM.Core, Sanet.MVVM.Navigation.Avalonia, Sanet.MVVM.Views.Avalonia, Sanet.MVVM.DI.Avalonia, Sanet.MVVM.ExternalNavigation.*). Triggers include: creating or editing ViewModels, setting up navigation, implementing modal dialogs, registering views/VMs, configuring DI, wiring up commands, managing lifecycle (AttachHandlers / DetachHandlers), bootstrapping an AvaloniaUI app with this framework, or opening URLs / emails via IExternalNavigationService. Also trigger when the user asks how to pass data between screens, show action dialogs, compose child ViewModels, handle reactive subscriptions, or open external links inside a Sanet.MVVM project. Consult this skill even for seemingly small tasks like adding a command or a new screen — the framework has specific patterns that must be followed.
Use this skill whenever the task involves styling an AvaloniaUI app — creating or editing XAML style files, defining colors/brushes/themes, building TemplatedControls with ControlTemplates, or setting up the style/resource merge chain from App.axaml. Triggers include: 'add a theme', 'style this button', 'create a custom control', 'change colors', 'make a reusable panel', 'set up typography', or any work touching .axaml style files, ResourceDictionary, Styles, or TemplatedControl.
Generate xUnit tests following established patterns for a given C# source file, covering untested public methods using NSubstitute for mocks and Shouldly for assertions. Use this skill whenever the user asks to add tests, generate unit tests, write test coverage, or create a test file for a C# class — even if they just say "add tests for this" or "what needs test coverage".
Locate relevant project documentation efficiently using the index hierarchy. Use this skill whenever asked to "find documentation", "look up docs", "what docs cover X", or "navigate to documentation about" a topic. This skill avoids unnecessary token consumption by loading indexes before full documents and incrementally drilling down to only the relevant files.
| name | coverage-check |
| description | Run tests for a project with code coverage and report uncovered source lines. Use when the user asks about test coverage, wants to know which lines are uncovered, asks to check coverage for a project, or says "run coverage" or "what's not covered". |
Run tests with coverlet coverage and produce a diff-coverage report — mirroring the CI pipeline locally.
Input: test project path relative to the repo root (e.g. tests/MakaMek.Core.Tests/MakaMek.Core.Tests.csproj).
Resolve the test project path. Confirm the .csproj file exists. Read it to extract the <AssemblyName> value.
Completion criterion: test project found and its assembly name extracted.
Remove the .Tests suffix from the test project's assembly name to obtain the source assembly name. Example: Sanet.MakaMek.Core.Tests → Sanet.MakaMek.Core.
Completion criterion: source assembly name derived and ready for the coverage filter.
Execute the test command matching the CI pipeline:
dotnet test {testProjectPath} /p:CollectCoverage=true /p:CoverletOutputFormat=opencover /p:ExcludeByAttribute=GeneratedCodeAttribute /p:Include=[{SourceAssemblyName}]*
Stop and report if tests fail. Do not proceed to parsing.
Completion criterion: tests pass and coverage.opencover.xml exists in the test project directory.
Cocodif is a .NET global tool that parses the OpenCover XML, filters changed files via git diff, and produces a Markdown diff-coverage report.
Install (if not already available):
dotnet tool install --global Sanet.Cocodif
Run against the module (after Step 3 produces coverage.opencover.xml):
Cocodif \
-c tests/{TestProjectDir}/coverage.opencover.xml \
-o diff-coverage.md \
--include 'src/{ModuleName}/**' \
--exclude '**/obj/**,**/bin/**' \
--title '{ModuleName} Coverage'
If Cocodif cannot be installed, skip this step — the coverage.opencover.xml is still available for manual inspection.
Completion criterion: diff-coverage.md produced with per-file diff-coverage breakdown, or step skipped.