# dotnet-inspect-correctness

Скилл для разбора .NET-сборок: показывает, что метод может выбросить, где есть небезопасные операции и как устроено владение ресурсами.

- скилл · `type=skill` · Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI, OpenCode · 415 установок · ★ 156
- Автор: richlander
- Лицензия: не указана · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/richlander/dotnet-inspect/tree/HEAD/skills/correctness/SKILL.md
- Обновлён: 2026-10-25
- HTML: https://affpapa.org/nevibecode/skills/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 MyLib@1.4.0..1.5.0 -t MyType -m Method --finding analysis.unsafety`: строка `PairFinding.Added` служит доказательством появления, `Present` и `Removed` различают сохранение и исчезновение.

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

## Установка

### Claude Code (родная платформа)

1. **Через Skills CLI (Vercel)**
```bash
npx skills add richlander/dotnet-inspect --skill dotnet-inspect-correctness -a claude-code
```
```bash
npx skills add richlander/dotnet-inspect --skill correctness -a claude-code
```

2. **Вручную: положить файлы**
- Файл: `~/.claude/skills/correctness/SKILL.md` — Папка скилла целиком; для одного проекта — .claude/skills/correctness/

### Codex

1. **Через Skills CLI (Vercel)**
```bash
npx skills add richlander/dotnet-inspect --skill correctness -a codex
```

2. **Вручную: положить файлы**
- Файл: `.agents/skills/correctness/SKILL.md` — Для всех проектов — ~/.agents/skills/

### Cursor

1. **Через Skills CLI (Vercel)**
```bash
npx skills add richlander/dotnet-inspect --skill correctness -a cursor
```

2. **Вручную: положить файлы**
- Файл: `.cursor/skills/correctness/SKILL.md` — Cursor читает и .agents/skills/, и .claude/skills/

### GitHub Copilot

1. **GitHub CLI**
```bash
gh skill install richlander/dotnet-inspect correctness
```

2. **Вручную: положить файлы**
- Файл: `.github/skills/correctness/SKILL.md`

### Gemini CLI

1. **Через Skills CLI (Vercel)**
```bash
npx skills add richlander/dotnet-inspect --skill correctness -a gemini-cli
```

2. **Командой платформы**
```bash
gemini skills install https://github.com/richlander/dotnet-inspect --path skills/correctness
```

### Windsurf (Devin Desktop)

**Вручную: положить файлы**
- Файл: `.devin/skills/correctness/SKILL.md` — Старый путь .windsurf/skills/ тоже читается

### OpenCode

**Через Skills CLI (Vercel)**
```bash
npx skills add richlander/dotnet-inspect --skill correctness -a opencode
```

### Claude.ai

**Claude.ai**
- Упакуйте папку в zip и загрузите в Settings → Capabilities → Skills

Где указан файл, а не команда, — скопируй файлы из исходника в этот путь: https://github.com/richlander/dotnet-inspect/tree/HEAD/skills/correctness/SKILL.md

## Когда брать
- узнать, какие исключения бросает конкретный метод
- найти небезопасные операции в теле метода с опорой на IL
- определить, в какой версии пакета появилась небезопасная операция
- разобрать координату падения или профайлера до метода и инструкции
- собрать доказательства по владению пулированными ресурсами

## Примеры запросов агенту
- Покажи регионы исключений и поля графа вызовов для метода `Method:1` в типе `MyType`
- Найди небезопасные операции в `MyType.Method` в библиотеке `MyLib.dll`
- Сравни `MyLib@1.4.0..1.5.0` по находке `analysis.unsafety` для `MyType.Method`

## Похожие
- [improve-codebase-architecture](https://affpapa.org/nevibecode/skills/improve-codebase-architecture.md) — скилл · 1163035 установок
- [tdd](https://affpapa.org/nevibecode/skills/tdd.md) — скилл · 1141062 установки
- [triage](https://affpapa.org/nevibecode/skills/triage.md) — скилл · 990453 установки
- [codebase-design](https://affpapa.org/nevibecode/skills/codebase-design.md) — скилл · 850344 установки
- [code-review](https://affpapa.org/nevibecode/skills/code-review.md) — скилл · 789521 установка
- [implement](https://affpapa.org/nevibecode/skills/implement.md) — скилл · 774700 установок

Из того же набора: [richlander/dotnet-inspect](https://affpapa.org/nevibecode/by/richlander/dotnet-inspect.md) — 4 карточки

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md