dotnet-inspect-correctness — скилл для Claude Code

Что делает dotnet-inspect-correctness

Скилл работает поверх CLI dotnet-inspect и отвечает на вопросы о корректности кода: какие исключения метод бросает, как их обрабатывает и где выходит за пределы безопасного управляемого выполнения. Анализ идёт по телу метода, отдельного раздела про исключения нет — картина собирается из Exception Regions, полей графа вызовов и скрытых фактов. Для одного метода это -S "Exception Regions", -S "Call Graph" с полями Throws, ThrowSites, ExceptionTypes, Catch, Finally или -S Facts --tsv.

Небезопасные операции смотрят через -S "Unsafe Operations,IL" — видно конкретные места в IL одного метода. Есть и точечная привязка к падению или координате профайлера: library coordinate 0x06000001+0x5 --library Foo.dll даёт контекст исходной локации, метода, инструкции, исключения и адреса возврата; доказательства безопасности подключаются флагом -S "Context: Safety". Чтобы понять, когда небезопасная операция появилась, сравнивают две версии пакета через diff --package [email protected] -t MyType -m Method --finding analysis.unsafety: строка PairFinding.Added служит доказательством появления, Present и Removed различают сохранение и исчезновение.

Проверка идёт по официальному руководству .NET по небезопасному коду, но скилл даёт собранные доказательства, а не общий вердикт о соответствии. Строки собирают в JSONL-наборы через обёртку capture, затем режут и соединяют jq и агентом, а к разбору подключают только значимые члены.