# property-based-testing

Скилл помогает создавать и проверять property-based-тесты для целого диапазона входных значений. Пригодится для сериализаторов, парсеров и инвариантов смарт-контрактов.

- скилл · `type=skill` · Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI, OpenCode · 7000 установок · ★ 7805
- Автор: trailofbits
- Лицензия: CC-BY-SA-4.0 · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/trailofbits/skills/tree/HEAD/plugins/property-based-testing/skills/property-based-testing/SKILL.md
- Обновлён: 2026-10-24
- HTML: https://affpapa.org/nevibecode/skills/property-based-testing

## Что делает

Скилл подбирает свойства для проверки кода: например, обратимость преобразования, идемпотентность нормализации или сохранение инварианта. Он помогает написать тесты, оценить уже существующие и разобрать упавший тест: понять, ошибочно ли сформулировано свойство или обнаружена ошибка в коде.

В работе рассматриваются Hypothesis, fast-check, proptest, jqwik, rapid, а для инвариантов Solidity — Echidna и Medusa. Внутри есть отдельные материалы о генераторах, ревью тестов, разборе сбоев, выборе библиотек и подготовке кода, у которого пока нет проверяемого свойства.

Для проекта без библиотеки property-based-тестирования её подключение остаётся решением пользователя: скилл предлагает конкретный тест, а не добавляет зависимость сам. Он не предназначен для бинарного фаззинга, мутационного тестирования, статического анализа, бенчмарков и сквозных UI-тестов.

## Установка

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

1. **Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill property-based-testing -a claude-code
```

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

### Codex

1. **Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill property-based-testing -a codex
```

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

### Cursor

1. **Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill property-based-testing -a cursor
```

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

### GitHub Copilot

1. **GitHub CLI**
```bash
gh skill install trailofbits/skills property-based-testing
```

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

### Gemini CLI

1. **Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill property-based-testing -a gemini-cli
```

2. **Командой платформы**
```bash
gemini skills install https://github.com/trailofbits/skills --path plugins/property-based-testing/skills/property-based-testing
```

### Windsurf (Devin Desktop)

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

### OpenCode

**Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill property-based-testing -a opencode
```

### Claude.ai

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

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

## Когда брать
- Проверить обратимость кодирования и декодирования
- Сформулировать свойства для парсера или нормализатора
- Найти слабые утверждения и пустые условия в тестах
- Разобрать контрпример, найденный генератором
- Задать инварианты состояния Solidity-контракта

## Примеры запросов агенту
- Добавь property-based-тесты для пары encode и decode.
- Проверь, что тесты с `@given` действительно выявляют ошибки.
- Разбери контрпример из упавшего теста и проверь, верно ли сформулировано свойство.

## Похожие
- [improve-codebase-architecture](https://affpapa.org/nevibecode/skills/improve-codebase-architecture.md) — скилл · 1163035 установок
- [design-taste-frontend](https://affpapa.org/nevibecode/skills/design-taste-frontend.md) — скилл · 678700 установок
- [tdd](https://affpapa.org/nevibecode/skills/tdd.md) — скилл · 1141062 установки
- [skill-creator](https://affpapa.org/nevibecode/skills/skill-creator.md) — скилл · 414180 установок
- [agent-browser](https://affpapa.org/nevibecode/skills/vercel-labs-agent-browser.md) — скилл · 1200000 установок
- [prototype](https://affpapa.org/nevibecode/skills/prototype.md) — скилл · 986201 установка

Из того же набора: [trailofbits/skills](https://affpapa.org/nevibecode/by/trailofbits/skills.md) — 77 карточек

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