spec-to-code-compliance — скилл Claude Code: обзор и установка
Скилл сопоставляет кодовую базу с документацией или спецификацией протокола, выявляя противоречия, неполную реализацию и неучтённое поведение. Пригодится при техническом аудите систем.
npx skills add trailofbits/skills --skill spec-to-code-compliance -a claude-codeЧто делает spec-to-code-compliance
Скилл ищет несоответствия между кодом и документами, которые задают правила работы системы: техническими описаниями, спецификациями протоколов или стандартами. Анализ не запускается в одном общем контексте. Модель разбивает спецификацию на отдельные пункты и выделяет каждому изолированного подагента, чтобы проследить цепочки вызовов целиком.
Каждое найденное расхождение перепроверяют независимые агенты: один заново читает код, второй перечитывает документ. Если опровергнуть проблему не удалось, она попадает в отчёт. Результаты проверки записываются в каталог spec-compliance/REPORT.md, а детали по пунктам уходят в spec-compliance/requirements/. Система выставляет шесть категорий вердиктов, включая implemented, partial, contradicted, stronger-than-spec и absent.
Для кода без документации инструмент бесполезен. Проверять реализацию по самой себе бессмысленно, ведь расхождение с текстом здесь и есть дефект. Без внешнего стандарта агент не отличит ошибку от запланированного поведения.
Какие задачи решает
- найти расхождения между реализацией и whitepaper или спецификацией
- выявить частичную реализацию требований протокола на редких ветках вызовов
- зафиксировать недокументированные ограничения и поведение в кодовой базе
- проверить соответствие проекта внешнему RFC или стандарту безопасности
Примеры запросов агенту
- /spec-to-code-compliance:spec-compliance ./contracts
- Запусти spec-compliance для папки ./src против SPEC.md с проверкой 20 требований
- Проверь отдельное правило через spec-to-code-compliance:spec-compliance-checker
Как установить spec-to-code-compliance
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill spec-to-code-compliance -a claude-code2Вручную: положить файлы
~/.claude/skills/spec-to-code-compliance/SKILL.mdПапка скилла целиком; для одного проекта — .claude/skills/spec-to-code-compliance/
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill spec-to-code-compliance -a codex2Вручную: положить файлы
.agents/skills/spec-to-code-compliance/SKILL.mdДля всех проектов — ~/.agents/skills/
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill spec-to-code-compliance -a cursor2Вручную: положить файлы
.cursor/skills/spec-to-code-compliance/SKILL.mdCursor читает и .agents/skills/, и .claude/skills/
1GitHub CLI
gh skill install trailofbits/skills spec-to-code-compliance2Вручную: положить файлы
.github/skills/spec-to-code-compliance/SKILL.md1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill spec-to-code-compliance -a gemini-cli2Командой платформы
gemini skills install https://github.com/trailofbits/skills --path plugins/spec-to-code-compliance/skills/spec-to-code-complianceВручную: положить файлы
.devin/skills/spec-to-code-compliance/SKILL.mdСтарый путь .windsurf/skills/ тоже читается
Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill spec-to-code-compliance -a opencodeClaude.ai
Упакуйте папку в zip и загрузите в Settings → Capabilities → Skills
По шагам, с командами для каждой платформы: Как установить скилл в Claude Code: пять способов
Вопросы о spec-to-code-compliance
Как установить spec-to-code-compliance в Claude Code?
Выполните команду npx skills add trailofbits/skills --skill spec-to-code-compliance -a claude-code. Конфигурационный файл скилла будет сохранён по пути ~/.claude/skills/spec-to-code-compliance/SKILL.md.
Что делает скилл spec-to-code-compliance?
Он сверяет функции и вызовы в кодовой базе с требованиями спецификации или проектной документации. Скилл разбивает документы на отдельные пункты, запускает независимых агентов для поиска расхождений и готовит отчёт со статусами соблюдения требований.
Почему проверка разбивается на отдельных субагентов?
Сопоставление одного требования требует изучения всей цепочки вызовов. Если анализировать десятки правил в одном контексте, модель начинает гадать по именам функций вместо полного чтения логики, поэтому каждое правило изолируется.
