agentmods.dev

dotPilot: Skill for Codex

.codex/skills/mcaf-dotnet-coverlet/SKILL.md

mcaf-dotnet-coverlet is a skill for Codex from managedcode/dotPilot. It costs 47 tokens per session (1,073 once invoked), scanned A, original, MIT.

Guidance for using coverlet, a free .NET tool that measures which lines and branches are exercised by tests.

In plain words
What is it for?
Use it to set up line or branch coverage for .NET tests and choose between coverlet’s collector, MSBuild, or command-line options.
Why use it?
It helps a team choose a coverage method that matches its test runner and works reliably in continuous integration, the automated build and test system.

Skill for Codex

Written for Codex: installed under .codex/. Also seen: mentions AGENTS.md.

This is managedcode/dotPilot's own configuration. It tells Codex how to work on dotPilot itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything dotPilot configures →

not rated 25repo 6mo ago A scan 47 tokens original MIT
View source ↗ managedcode/dotPilot dotpilot.managed-code.com
Reuse

Borrowing it

Nothing to install: this file belongs to managedcode/dotPilot. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/managedcode/dotPilot/main/.codex/skills/mcaf-dotnet-coverlet/SKILL.md
Clone the repo
git clone --depth 1 https://github.com/managedcode/dotPilot

Made for: Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for mcaf-dotnet-coverlet

README.md
[![agentmods](https://agentmods.dev/badge/skills/managedcode/dotpilot/mcaf-dotnet-coverlet/github.svg)](https://agentmods.dev/skills/managedcode/dotpilot/mcaf-dotnet-coverlet)
Your own site
<a href="https://agentmods.dev/skills/managedcode/dotpilot/mcaf-dotnet-coverlet"><img src="https://agentmods.dev/badge/skills/managedcode/dotpilot/mcaf-dotnet-coverlet/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for mcaf-dotnet-coverlet

Your own site · 80×15
<a href="https://agentmods.dev/skills/managedcode/dotpilot/mcaf-dotnet-coverlet"><img src="https://agentmods.dev/badge/skills/managedcode/dotpilot/mcaf-dotnet-coverlet.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 47 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 1,073 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00047 $0.01073
Opus 5.5 $0.00019 $0.00429
Sonnet 5.5 $0.00009 $0.00215
Haiku 4.5 $0.00005 $0.00107

Measured 1mo ago against content hash 04b3908d2c8c, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

mcaf-dotnet-coverlet scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 1mo ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

Origin

Copies of this mod

3 near-identical copies found in the catalogue:

.codex/skills/mcaf-dotnet-coverlet/SKILL.md · 113 lines

How it starts

The opening of the file, as written. The whole thing — 113 lines — stays where its author put it; the contents beside it link to each section on GitHub.

MCAF: .NET Coverlet

Trigger On

  • the repo uses or wants coverlet
  • CI needs line or branch coverage for .NET tests
  • the team needs to choose between coverlet.collector, coverlet.msbuild, or coverlet.console

Value

  • produce a concrete project delta: code, docs, config, tests, CI, or review artifact
  • reduce ambiguity through explicit planning, verification, and final validation skills
  • leave reusable project context so future tasks are faster and safer

Do Not Use For

  • coverage report rendering by itself
  • repos that intentionally use a different coverage engine

Inputs

  • the nearest AGENTS.md
  • active runner model: VSTest or Microsoft.Testing.Platform
  • target test projects

Quick Start

  1. Read the nearest AGENTS.md and confirm scope and constraints.
  2. Run this skill's Workflow through the Ralph Loop until outcomes are acceptable.
  3. Return the Required Result Format with concrete artifacts and verification evidence.

Workflow

  1. Choose the driver deliberately:
    • coverlet.collector for VSTest dotnet test --collect
    • coverlet.msbuild for MSBuild property-driven runs
    • coverlet.console for standalone scenarios
  2. Add coverage packages only to test projects.
  3. Do not mix coverlet.collector and coverlet.msbuild in the same test project.
  4. Pair raw coverage collection with ReportGenerator only when humans need rendered reports.

Bootstrap When Missing

If coverage is not configured yet:

  1. Detect current state:
    • rg -n "coverlet\\.(collector|msbuild)|CollectCoverage|XPlat Code Coverage" -g '*.csproj' -g '*.props' -g '*.targets' .
    • dotnet tool list --local
    • dotnet tool list --global
    • command -v coverlet
  2. Install exactly one driver path:
    • VSTest collector: dotnet add TEST_PROJECT.csproj package coverlet.collector
    • MSBuild driver: dotnet add TEST_PROJECT.csproj package coverlet.msbuild
    • Console tool: dotnet new tool-manifest (if missing) and dotnet tool install coverlet.console
  3. Record one concrete local and CI command in AGENTS.md:
    • collector: dotnet test TEST_PROJECT.csproj --collect:"XPlat Code Coverage"
    • msbuild: dotnet test TEST_PROJECT.csproj /p:CollectCoverage=true /p:CoverletOutputFormat=cobertura
    • console: dotnet tool run coverlet TEST_ASSEMBLY.dll --target "dotnet" --targetargs "test TEST_PROJECT.csproj --no-build"
  4. Run the chosen command once and return status: configured or status: improved.
  5. If another coverage engine already owns coverage for this repo, return status: not_applicable.

Read the full file on GitHub · 113 lines

Files

What ships with it

1 file beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 1mo ago First seen · 113 lines · 47 tokens per session scan A 04b3908d2c8c

Subscribe to this mod's changes

mcaf-dotnet-coverlet is a skill published in the GitHub repository managedcode/dotPilot (25 stars, last pushed 6mo ago), licensed MIT. It adds 47 tokens to every session and 1,073 once invoked, about $0.0002 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

TestingUnit testingagent-frameworkagent-orchestrationai-agentsai-toolsdesktop-appdotnet
Related

Other skills, from other repositories

jest-patterns

Jest and Vitest testing patterns including describe/it blocks, expect matchers, mocking, and async test strategies for JavaScript and TypeScript.

vladkesler/initrunner · 34 tokens

mocking-strategies

Mock, patch, fake, and stub patterns for isolating dependencies in Python and JavaScript test suites.

vladkesler/initrunner · 27 tokens

pytest-patterns

Pytest best practices including fixtures, parametrize, markers, and assertion patterns for Python test suites.

vladkesler/initrunner · 24 tokens

author-test

Generate a test given sample. Parameters: C# SDK repository root; Package name: one of Azure.AI.Projects, Azure.AI.Projects.Agents or Azure.AI.Extensions.OpenAI; the sample to use as a starting point for the test.

Azure/azure-sdk-for-net · 68 tokens

test-generator

Generate pytest test cases for Python functions and classes.

vstorm-co/pydantic-deepagents · 12 tokens

migrate-xunit-to-xunit-v3

Migrate .NET test projects from xUnit.net v2 to xunit.v3 and fix v3 breaks. Use for package/CPM conversion, OutputType=Exe, preserving the VSTest or MTP runner (including projects currently using YTest.MTP.XUnit2), incompatible TFMs, async void tests, string-to-Type attributes, custom Fact/Theory/BeforeAfterTest…

managedcode/dotnet-skills · 149 tokens