dotnet-inspect dotnet-sdk.instructions.md

Development instructions for projects that use the .NET software development kit (SDK), the tools used to build and run .NET applications. Before most .NET commands, they require checking which SDK is available and selected.

In plain words
What is it for?
Checking the SDK before building, testing, or otherwise running a .NET project.
Why use it?
It helps avoid running commands with an unexpected or incompatible .NET SDK version.

Instructions file for GitHub Copilot

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add instructions/richlander/dotnet-inspect/dotnet-sdk
Clone the repo
git clone --depth 1 https://github.com/richlander/dotnet-inspect

Made for: GitHub Copilot.

Per session 942 This file is loaded in full into every session.
When invoked 942 The same file — it is already loaded in full.
Security scan A 1 finding. Scan, not verified.
Origin unknown 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 $0.00942 $0.00942
Opus 5 $0.00471 $0.00471
Sonnet 5 $0.00188 $0.00188
Haiku 4.5 $0.00094 $0.00094

Measured 2d ago against content hash ff739963de01, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

dotnet-inspect dotnet-sdk.instructions.md scanned grade A with 1 finding 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 2d 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.

Makes network callslowCapability

Not a fault in itself. Listed so you know the mod talks to something, and to what.

curl -fsSL --retry 3 \
.github/instructions/dotnet-sdk.instructions.md · 106 lines

The source is not reproduced here

No licence file

A repository with no LICENSE is all rights reserved by default, so the body is not copied here. The metadata, the measurements and the link are.

Read it on GitHub

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. 2d ago First seen · 106 lines · 942 tokens per session scan A ff739963de01

Subscribe to this mod's changes

dotnet-inspect dotnet-sdk.instructions.md is an instructions file published in the GitHub repository richlander/dotnet-inspect (147 stars, last pushed 2d ago), with no licence file. It adds 942 tokens to every session, about $0.0047 per session on Opus 5. A static security scan graded it A with 1 finding (makes network calls). No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

Other instructions, from other repositories

maui integration-tests.instructions.md

Guidance for GitHub Copilot when working with .NET MAUI integration tests.

dotnet/maui · 2,481 tokens

maui android.instructions.md

Instructions for dotnet/maui, covering android platform development guidelines, common build issues, view namespace collision, android handler best practices and lifecycle management.

dotnet/maui · 996 tokens

maui handler-patterns.instructions.md

Instructions for dotnet/maui, covering handler mapper and property patterns, property update flow, lifecycle management, null safety in callbacks and native defaults preservation.

dotnet/maui · 464 tokens

maui performance-hotpaths.instructions.md

Instructions for dotnet/maui, covering performance-critical path rules, hot paths in maui, allocation avoidance, caching and invalidation and collection iteration.

dotnet/maui · 441 tokens

cryptoexchange-net

Use CryptoExchange.Net abstractions when generating C#/.NET code that needs to work across MULTIPLE cryptocurrency exchanges (Binance + Bybit + OKX + Kraken + Coinbase + ...) — for arbitrage, best-execution routing, multi-exchange portfolio dashboards, exchange-agnostic trading bots, or comparison tools. Triggers on…

JKorf/CryptoExchange.Net · 2,291 tokens

kraken-net

Use Kraken.Net when generating C#/.NET code that interacts with the Kraken cryptocurrency exchange, including Spot REST, Spot WebSocket v2, Futures REST, Futures WebSocket, account data, market data, order placement, Kraken Earn, local order books, dependency injection, or CryptoExchange.Net SharedApis. Triggers on…

JKorf/Kraken.Net · 1,872 tokens