hlv CLI
Утилита на Rust проверяет, что код агента совпадает со спецификацией: 30 с лишним проверок контрактов, тестов и гейтов.
- 81 ★ репозитория
- Последний коммит
Расширенный доступ
Почему такой уровень
- Запускает код и пишет файлы проекта в `.hlv/` и каталоги скиллов.
- MCP-сервер открывает клиентам 29 инструментов и ресурсы проекта.
Установка
- Работает в
Ручная установка
curl -fsSL https://github.com/lee-to/hlv/releases/latest/download/hlv-aarch64-apple-darwin.tar.gz | sudo tar xz -C /usr/local/binВариант для macOS на Apple Silicon из README, для других систем есть свои команды. Команда распаковывает бинарник с правами администратора.
Доступ и проверки
Как мы проверяемРасширенный доступИнструмент запускает код или ходит в сеть, а внешние данные только читает.
- Запускает код и пишет файлы проекта в `.hlv/` и каталоги скиллов.
- MCP-сервер открывает клиентам 29 инструментов и ресурсы проекта.
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
hlv — скомпилированная утилита на Rust, которая не вызывает модель и не генерирует код. Человек описывает требования и ограничения в декларативных файлах, агент пишет по ним код, а `hlv check` проверяет цепочки от требования к контракту, тесту и гейту и находит расхождения. Команда `hlv init` создает каркас проекта и ставит шесть скиллов: `/hlv-artifacts`, `/hlv-generate`, `/hlv-implement`, `/hlv-validate`, `/hlv-verify` и `/hlv-questions`. `hlv init --adopt` подключает инструмент к существующему проекту, а `hlv mcp` запускает MCP-сервер для агентов и веб-панелей. Все команды понимают флаг `--json`.
Для кого. Командам, которые отдают написание кода агенту и хотят автоматической проверки результата по контрактам и гейтам.
Подходит, если
- Агент реализует этап плана, и перед переходом дальше нужно убедиться, что все обязательные гейты пройдены.
- В существующем проекте на Laravel, Go, Node, Python или Rust вводят спецификации командой `hlv init --adopt`.
- В CI нужна жесткая проверка: `hlv check --strict` превращает предупреждения в ошибки.
- Веб-панель или Claude Code должны читать состояние проекта через MCP-сервер `hlv mcp`.
Не подходит, если
- Нужна быстрая правка без спецификаций и контрактов.
- Нужен инструмент, который сам генерирует код: hlv только проверяет.
- Нестабильный формат неприемлем: автор предупреждает о возможных поломках между релизами.
Пример запроса к агенту
Запусти `hlv check` и покажи, какие контракты не связаны с кодом и какие гейты не пройдены.Ограничения
Проект активно развивается, и автор предупреждает о несовместимых изменениях между релизами. Метод требует заранее писать контракты, тест-спецификации и гейты, это отдельная дисциплина, и для быстрых правок она избыточна. Скиллы ставятся командой `hlv init`, а под Windows бинарник нужно положить в `PATH` самостоятельно. Установка из релиза пишет бинарник в `/usr/local/bin` с правами администратора. Для простых случаев автор отсылает к более легкому проекту AI Factory.
Как отключить. Уберите блок `hlv` из конфигурации MCP и удалите скиллы `hlv-*` из каталога скиллов агента. Бинарник удаляется из `/usr/local/bin`, каталог `.hlv/` в проекте можно удалить, если спецификации не нужны.
Частые вопросы
Как поставить hlv на macOS с Apple Silicon?
Скачайте и распакуйте релиз: `curl -fsSL https://github.com/lee-to/hlv/releases/latest/download/hlv-aarch64-apple-darwin.tar.gz | sudo tar xz -C /usr/local/bin`. Для других систем в README есть свои команды, а `cargo install --path .` собирает из исходников.
Вызывает ли hlv языковую модель?
Нет. Утилита только проверяет, а код пишет агент по спецификации.
Как подключить MCP-сервер hlv?
Добавьте в конфигурацию клиента сервер с командой `hlv` и аргументами `mcp`, `--root`, `/path/to/your/hlv-project`. Для веб-клиентов есть `hlv mcp --transport sse --port 3000`.
Какие скиллы ставит `hlv init`?
Шесть: `/hlv-artifacts`, `/hlv-generate`, `/hlv-implement`, `/hlv-validate`, `/hlv-verify` и `/hlv-questions`. Они ведут проект от интервью до проверки по этапам.
Как обновить hlv?
Команда `hlv update` обновляет бинарник и синхронизирует управляемые файлы проекта, включая скиллы агента.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
CLI-инструментыСтатический линтер инструкций агента: находит двусмысленные описания инструментов и пробелы в схемах до запуска, без модели и сети
Плагин учит агента писать тесты со свойствами на Hegel для Rust, Go, C++, TypeScript, Java и OCaml и проверять их на слабые места
Проверяет diff и переписку с агентом: ловит ошибки в коде и расхождения между вашей просьбой и тем, что агент сделал. CLI, скилл и GitHub Action
Локальный отладчик TypeScript-агентов: дерево шагов, проверка траектории в CI и архив доказательств без аккаунта.
CLI оценивает зрелость обвязки ИИ-агента в репозитории от L0 до L4: 36 проверок по файлам, без вызовов моделей и сети.
CLI находит в коде следы агентов: лишние комментарии, проглоченные ошибки, выдуманные импорты, и ставит оценку от 0 до 100
Сравнение с похожими
Карточки с тем же главным запросом: чем они отличаются.
| Инструмент | Официальный | Звезды репозитория | Главное отличие |
|---|---|---|---|
| hlv (эта карточка) | нет | 81 | |
| LeanSpec | нет | 302 | тоже ведет разработку по спецификациям, но с короткими спеками и доской задач; hlv упирает на проверку контрактов и гейтов бинарником |
| Autospec | нет | 148 | ведет работу от описания до реализации с YAML-артефактами; hlv отдельно проверяет трассировку требований |
Коротко о README
Три слоя ответственности: человек задает «что», агент пишет «как», hlv проверяет «доказательство». Дальше пример вывода `hlv check`, таблица из 30 с лишним проверок, список команд, MCP и установка под разные системы.