view --main skill-z3-research-avtomatizatsiya-issledovaniy-s-ispolzovaniem-z3.md

skill-z3-research — Автоматизация исследований с использованием Z3

Name: skill-z3-research — Автоматизация исследований с использованием Z3
Author: benbrastmckie/nvim

skill-z3-research автоматизирует рутинные задачи при работе с Z3, делегируя их специализированному под-агенту и управляя процессом от проверки до фиксации изменений в Git. Инструмент разработчика использует Python и JSON для организации рабочего процесса, включая взаимодействие с под-агентом z3-research-agent. Ключевые особенности включают автоматизированный пайплайн, управление артефактами и интеграцию с системой контроля версий. Это open-source решение упрощает исследовательские задачи, связанные с SMT-решением и ограничениями.

Процесс начинается с валидации входных данных, затем статус задачи обновляется, и формируется контекст для делегирования. После вызова под-агента, извлекаются метаданные из файла JSON, и на основе результатов обновляется состояние задачи и создается коммит в Git. В заключение, добавляются ссылки на артефакты исследования и возвращается краткое текстовое описание.

Skill использует NeoVim для взаимодействия и предоставляет удобный способ автоматизировать повторяющиеся операции, связанные с Z3. Это упрощает исследовательский процесс и повышает эффективность работы.