hegel-skill — плагин
Плагин учит агента писать тесты со свойствами на Hegel для Rust, Go, C++, TypeScript, Java и OCaml и проверять их на слабые места
- 89 ★ репозитория
- Последний коммит
Минимальный доступ
Почему такой уровень
- Скилл дает инструкции и пишет тестовые файлы в проекте. Он работает только с файлами и сам ничего не запускает.
Установка
- Работает в
В терминале, через SkillFoxx CLI
npx skillfoxx add plugins/hegel-skillОпределит агенты на машине, покажет уровень доступа и зафиксирует версию.
Другие способы установки
Доступ и проверки
Как мы проверяемМинимальный доступИнструмент ничего не запускает и не ходит в сеть.
- Скилл дает инструкции и пишет тестовые файлы в проекте. Он работает только с файлами и сам ничего не запускает.
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
В плагине два скилла. Скилл `hegel` ведет агента через написание тестов со свойствами: Hegel генерирует случайные входы и сжимает упавший случай до минимального контрпримера. Агент должен опираться на доказательства: документированные контракты, имена и сигнатуры, инварианты в коде, существующие тесты. Один тест проверяет одно свойство и лежит в обычных тестовых файлах проекта. Сигнатуры скилл велит сверять с документацией и исходниками библиотеки, не угадывая синтаксис. Второй скилл, `hegel-review`, проверяет готовые тесты по списку слабых мест: суженные генераторы, «свойства» с фиксированными входами, отсутствие проверки в обратную сторону, несколько свойств в одном тесте, допуски, подогнанные под результат. Короткие руководства лежат в `skills/hegel/techniques/`: генераторы, запуск, масштаб, разбор падений и состязательная проверка.
Для кого. Разработчикам на Rust, Go, C++, TypeScript, Java и OCaml, которые добавляют в проект тесты со свойствами и ждут от агента содержательных проверок.
Подходит, если
- У функции есть круговое преобразование, например сериализация и разбор, и его нужно проверить на сотнях входов
- Модуль получает контракт с инвариантами, и тесты обязаны проверять их на широкой области значений
- Уже написанные тесты на `proptest` или `fast-check` проверяют на суженные генераторы и подогнанные допуски
- Упавший случай нужно разобрать: настоящая это ошибка или тест требует больше, чем обещает код
Не подходит, если
- Нужны обычные примерные тесты с несколькими значениями: скилл ориентирован на свойства
- Язык вне списка Hegel: автор допускает пользу для других библиотек, но не проверял ее
- Код без контрактов и инвариантов, из которых можно вывести свойства
Пример запроса к агенту
Напиши тесты со свойствами на Hegel для функций сериализации в модуле `codec` и проверь их скиллом `hegel-review`Ограничения
Скилл рассчитан на библиотеки Hegel для Rust (`hegeltest`), Go, C++, TypeScript, Java и OCaml. Для остальных библиотек `property-based` тестирования полезность автор не проверял. Скилл не гарантирует, что тесты найдут все дефекты, и не заменяет ревью человеком. Агент изучает API по существующим тестам, документации и исходникам библиотеки в окружении, поэтому без доступа к ним сигнатуры придется давать вручную. Установка через `$skill-installer` в Codex требует его встроенного установщика навыков.
Как отключить. Выполните `/plugin uninstall hegel-skill` в Claude Code или удалите папку скилла `hegel` из каталога скиллов Codex.
Частые вопросы
Как поставить плагин в Claude Code?
Выполните `/plugin marketplace add hegeldev/hegel-skill`, затем `/plugin install hegel-skill@hegeldev`. Локальную установку описывает документация Claude Code по скиллам.
Как установить скилл в Codex?
В сессии Codex выполните `$skill-installer install https://github.com/hegeldev/hegel-skill/tree/main/skills/hegel`. Для других агентов порядок установки задает документация их навыков.
Какими словами запускается скилл?
Он срабатывает на просьбы написать тесты и на слова «`property-based` tests», «`PBT`», «`hegel`», «`fuzz`», «`shrinking`», а также когда в проекте уже есть `proptest`, `quickcheck`, `fast-check` или `jqwik`.
Что проверяет `hegel-review`?
Суженные генераторы, «свойства» с фиксированными входами, отсутствие обратного направления, несколько свойств в одном тесте, свойства без доказательств и допуски, расширенные ради прохождения.
Нужно ли знать Hegel заранее?
Нет, скилл велит агенту сначала изучить API по существующим тестам, документации и исходникам библиотеки, а имя и сигнатуру каждой функции проверять.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
ПлагиныСкилл учит агента писать тесты для Go на фреймворке gotest: хуки жизненного цикла, параллельность и запуск через go tool.
Проверяет пакеты Agent Skills: структуру, ссылки, объем в токенах и качество инструкций с оценкой моделью-судьей
Скилл, который один раз читает репозиторий и ставит проверки: правила кода становятся шлюзами, которые ломают коммит или CI.
Семь QA-агентов и десять скиллов для автотестов: Playwright на TypeScript, Selenium на Java, API, доступность и ISTQB.
CLI для оценки и доработки скиллов агентов: декларативные тесты в YAML, запуск на разных движках и структурированные отчеты
Плагин с навыками для тестирования: от требований и тест-кейсов до прогона API, мобильных и веб-проверок с доказательствами.
Коротко о README
README коротко представляет скилл, его применение для Claude Code, Codex и других агентов и две команды установки. Основное содержание лежит в `SKILL.md` и руководствах `techniques/`.