Antithesis Skills
antithesis-skills
Официальные скиллы Antithesis: агент анализирует систему, подбирает свойства надежности, готовит стенд, запускает тесты в Antithesis и разбирает результаты
- 299 ★ репозитория
- Последний коммит
- Apache-2.0
Широкий доступ
Почему такой уровень
- Запускает прогоны в Antithesis под вашим ключом API, а мутационное тестирование расходует бюджет запусков
- Создает в проекте каталог antithesis/ и добавляет проверки в сам тестируемый код
- Собирает образы командами docker или podman и запускает контейнеры стенда
Установка
- Работает в
В терминале, через SkillFoxx CLI
npx skillfoxx add skills/antithesis-skillsОпределит агенты на машине, покажет уровень доступа и зафиксирует версию.
Другие способы установки
Доступ и проверки
Как мы проверяемШирокий доступИнструмент может менять данные, выполнять команды или работать с секретами.
- Запускает прогоны в Antithesis под вашим ключом API, а мутационное тестирование расходует бюджет запусков
- Создает в проекте каталог antithesis/ и добавляет проверки в сам тестируемый код
- Собирает образы командами docker или podman и запускает контейнеры стенда
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
Antithesis Skills — двенадцать скиллов от самой компании Antithesis, которые ведут агента от первого знакомства с проектом до разбора запусков в платформе тестирования Antithesis. Основная цепочка из трех скиллов запускается по порядку, каждый в свежем контексте, с проверкой результата человеком между шагами. `antithesis-research` читает исходники, комментарии, документацию, историю коммитов и задачи, запускает субагентов и составляет в `antithesis/scratchbook/` анализ системы, каталог проверяемых свойств надежности и предложение по топологии контейнеров. `antithesis-setup` готовит стенд, то есть контейнеры, в которых система запускается в Antithesis: создает каталог `antithesis/` с Dockerfile, `config/docker-compose.yaml` и скриптом `setup-complete.sh` и проверяет сборку локально, а для Kubernetes есть `antithesis-setup-k8s`. `antithesis-workload` пишет тестовые команды в `antithesis/test/` и расставляет проверки в выбранных местах тестируемого кода. `antithesis-launch` собирает образы, выполняет `snouty validate` и только после успеха отправляет `snouty launch` на заданное число минут. `antithesis-triage` через `snouty` и `jq` разбирает отчеты прогонов, а `antithesis-debug` выполняет скрипты внутри прогона командой `snouty runs exec`. Остальные скиллы проверяют свойства мутационным тестированием, оценивают генерацию входных данных, строят нагрузку для одной фичи, отвечают по документации и помогают сообщить об ошибке в самих скиллах.
Для кого. Для разработчиков и тестировщиков, которые подключают свою систему к платформе Antithesis и хотят поручить агенту разведку, подготовку стенда, написание нагрузки и первичный разбор найденного.
Подходит, если
- Вы впервые подключаете проект к Antithesis и нужен каталог свойств надежности, которые стоит проверять
- Нужно собрать Dockerfile и docker-compose для стенда и убедиться, что он собирается локально
- Манифесты Kubernetes надо адаптировать и минимизировать, чтобы они запускались внутри Antithesis
- Прогон закончился с упавшими свойствами, и нужно найти события на временных линиях и скачать журналы
- Базовый прогон зеленый, и вы хотите узнать, способны ли ваши свойства вообще упасть на реальной ошибке
Не подходит, если
- У вас нет доступа к Antithesis: скиллы запускают и разбирают прогоны через `snouty` и ключ API платформы
- Нужен обычный набор модульных тестов: скиллы строят нагрузку и свойства для Antithesis, а не покрытие в привычном смысле
- Работаете на Windows: README заявляет совместимость только с macOS и Linux
- Нет Docker Compose v2 и Docker или Podman: сборка образов входит в основные скиллы
- Не хотите тратить время и токены: `antithesis-research` по заявлению авторов работает дольше 30 минут на большинстве кодовых баз
Пример запроса к агенту
/antithesis-research Изучи код в этом репозитории и подготовь план тестирования в AntithesisОграничения
- Нужны CLI `snouty` версии 0.8.0 и новее, Docker Compose v2, Docker или Podman и npm. Платформы: macOS и Linux на Debian-основе, инструкция по установке лежит в PREREQUISITES.md.
- Скиллы проверяли в Claude Code и Codex, разрабатывали и тестировали на Claude Opus 4.6. Лучше работают с агентами, которые умеют запускать субагентов для самопроверки.
- Скиллы в активной разработке, авторы предупреждают, что из-за недетерминизма моделей результат может отличаться. `antithesis-setup-k8s` дает меньше инструментов, чем `antithesis-setup`, в частности по инструментации и SDK.
- Запуск требует учетных данных Antithesis: ключ `ANTITHESIS_API_KEY`, имя тенанта и переменную `ANTITHESIS_REPOSITORY`, а без числа минут `antithesis-launch` ничего не отправит.
- Планы и отчеты `antithesis-research` нужно просматривать вручную, перед следующим скиллом их предлагается поправить.
- Лицензия Apache-2.0.
Как отключить. Выполните `npx skills remove` и выберите скиллы с префиксом antithesis. Каталоги `antithesis/` в ваших проектах, сгенерированные скиллами, и добавленные в код проверки останутся: удалите их сами. Уже отправленные в Antithesis прогоны остаются в вашем тенанте.
Частые вопросы
В каком порядке запускать скиллы?
Сначала `antithesis-research`, `antithesis-setup` (для Kubernetes `antithesis-setup-k8s`) и `antithesis-workload`, каждый в свежем контексте, с разбором изменений между ними. Затем `antithesis-launch`. Когда базовый прогон зеленый, подключается `antithesis-mutation-testing`. Авторы советуют начинать с коротких прогонов по 15–30 минут как дымовых проверок.
Какие файлы создает antithesis-research?
В `antithesis/scratchbook/`: `sut-analysis.md` с архитектурой и местами отказов, `existing-assertions.md`, `property-catalog.md` с приоритетами, `deployment-topology.md`, файлы свойств с доказательствами в папке properties/, property-relationships.md и отчеты оценки в evaluation/.
Что расходует мутационное тестирование?
Скилл собирает образ и запускает прогон Antithesis на каждое свойство, плюс базовый прогон и полный повторный проход после каждого раунда исправлений. Перед стартом он спрашивает потолок числа прогонов и число параллельных запусков. Результаты складываются в `antithesis/scratchbook/mutation-testing/`: патч на мутанта, доказательства и отчет report.md.
Что умеет antithesis-debug?
Он запускает bash-скрипт внутри прогона в выбранный момент командой `snouty runs exec` через многомировой отладчик Antithesis. В справочниках разобраны скриптовая криминалистика, осмотр процессов и контейнеров, улики на диске, подключение gdb и ограничения виртуального времени.
Какие внешние программы вызывают скиллы?
`docker compose` или `docker-compose`, `docker` или `podman`, `snouty`, `jq`, для мутационного тестирования еще `git` и `rsync`. Скиллы права сами не настраивают, агент спрашивает подтверждения, и в таблице README перечислено, что нужно каждому скиллу для предварительного разрешения.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
СкиллыСкилл состязательного аудита кода: Hunter ищет ошибки, Skeptic их оспаривает, Referee выносит вердикт, а правки без вашего разрешения не вносятся
CLI для оценки и доработки скиллов агентов: декларативные тесты в YAML, запуск на разных движках и структурированные отчеты
«Юнит-тесты» для скиллов: проверяет, что агент находит и использует ваш скилл. Нужны Node 20 и Docker, ключ модели
Набор QA-агентов, скиллов и MCP-сервер: генерация тестов, поиск пробелов в покрытии, нестабильные тесты, безопасность и хаос-тестирование
Скилл, с которым агент пишет и запускает скрипты Playwright: тесты страниц, формы, скриншоты, проверки ссылок
Система сценарного тестирования 1С:Предприятия с набором agent skills, которые позволяют ИИ-агенту управлять приложением как обычный пользователь
Коротко о README
Описание начинается с обзора скиллов и предупреждений о долгой работе `antithesis-research`, затем дает рекомендованный порядок со схемой, стартовые запросы для каждого скилла и список создаваемых файлов. Дальше идут требования к платформе и агенту, выбор модели, таблица инструментов по скиллам и мастер установки пошагово. В репозитории также лежат справочные файлы каждого скилла, руководство для начинающих, CHANGELOG и инструкции для участников.
Бейдж для README
Исходный SKILL.md
--- name: antithesis-launch description: > Launch an Antithesis run with snouty by discovering the harness layout, building the right Docker Compose config, running `snouty validate`, bailing on validation failure, and then submitting `snouty launch` with sane metadata. Use when the user wants to send, submit, or launch an Antithesis run. This skill takes duration in minutes as input. compatibility: Requires Docker Compose v2, a container engine (docker or podman), and snouty (https://github.com/antithesishq/snouty). metadata: version: "2026-10-15 84b188a" --- # Antithesis Launch **Skill version:** `2026-10-15 84b188a` ## Prerequisites - DO NOT PROCEED if `snouty` is not installed. See `https://raw.githubusercontent.com/antithesishq/snouty/refs/heads/main/README.md` for installation options. - DO NOT PROCEED if `snouty` is older than 0.8.0. Use `snouty --version` to find the version. Use `snouty update` to update. - Run `snouty doctor`. It checks the container runtime and the compose CLI. Report both to the user and build with that same pair. This skill writes `docker compose`; use `docker-compose` instead when that is the CLI snouty names. ## Goal Launch an Antithesis run in this order only: 1. `docker compose build` (skip if directed to use pre-built images) 2. `snouty validate` 3. if validation fails, stop and report the error 4. `snouty launch` ## Required Input - `duration` in minutes is required. If the user did not provide it, ask before submitting the run. ## Discovery - Start from any user-provided path, command, or Antithesis directory name. - Otherwise, inspect the repo to understand how the harness is wired. Check nearby `AGENTS.md`, `README*`, `Makefile*`, and Antithesis-specific scripts before choosing commands. - Find the config directory by locating the `docker-compose.yaml` intended for Antithesis. Prefer directories like `antithesis/config`, but support non-standard layouts. - Treat these as strong Antithesis signals: nearby `scratchbook/` or `test/` directories, compose content mentioning `/opt/antithesis`, `ANTITHESIS_` env vars, `setup_complete`, or existing `snouty` examples. - If multiple compose files look plausible, prefer the one referenced by repo docs or existing `snouty launch` examples. If the choice is still ambiguous, ask the user instead of guessing. - Use the directory containing `docker-compose.yaml` as the `snouty validate <CONFIG>` and `snouty launch --config <CONFIG>` argument. - Build against that exact file: `docker compose -f <CONFIG>/docker-compose.yaml build`.