SKILLEMALL.ai
GitHub ↗ EN Войти

CD create-formal-verification-skill

Создайте локальный для проекта инструмент, который формально проверяет код, где ошибка стоит дороже всего, а тесты достигают меньше всего, на любом языке, с любым подходящим инструментом верификации. Используйте для /create-formal-verification-skill, "проверить эту гонку", "доказать этот инвариант" или когда параллелизм, повторные попытки, конечные автоматы, парсеры или небезопасный код требуют большего, чем просто тесты.

машинный переводПоказать оригиналСкрыть оригинал«Generate a project-local skill that formally verifies the code where a…»

Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in any language, with whichever verification tool fits. Use for /create-formal-verification-skill, "model-check this race", "prove this invariant", or when concurrency, retries, state machines, parsers, or unsafe code need more than tests.

michael-denyer/pstack-claude Agent Skills автор: michael-denyer 1 файл тело ≈ 1 458 токенов Открыть источникgithub.com↗ проанализирован 6 ч назад

Создайте локальный для проекта инструмент, который формально проверяет код, где ошибка стоит дороже всего, а тесты достигают меньше всего, на любом языке, с…

Как процесс D 40/100 · Процесс не доведён — Скилл ссылается на файлы, которых нет в архиве: ../poteto-mode/references/codex-tools.md, ../poteto-mode/references/copilot-tools.md, ../poteto-mode/references/muse-tools.md

АнализаторРазработкатип и темы размечены автоматически по тексту скилла
Запускается в: Claude / Claude Code ChatGPT / Codex Gemini CLI Cursor GitHub Copilot / VS Code Qwen Code Kimi Code CLI Z.ai (GLM) DeepSeek (Deep Code) Mistral Vibe LangChain (deepagents) OpenClaw Goose OpenCode
JSON
Технический рейтинг
C
89/100
безопасность, качество, тесты
Безопасность 60%
100
Качество 40%
73
Прогон на моделях
не было
Процессный рейтинг
D
40/100
Процесс не доведён
Скилл ссылается на файлы, которых нет в архиве: ../poteto-mode/references/codex-tools.md, ../poteto-mode/references/copilot-tools.md, ../poteto-mode/references/muse-tools.md
Инструменты и файлы вес 18
0
Результат и критерий готовности вес 14
0
Входы и предусловия вес 11
0
три самых слабых из десяти параметров · все десять

Как улучшить

  1. В тексте есть ссылки на отсутствующие файлы: добавьте файлы или уберите ссылки.
Для прогона на моделях — необязательно
  • Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
  • spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.

Находки guard · 0

✓ Критических и высоких находок нет

Просканировано файлов: 1. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.

По спецификации Agent Skills

  • предупреждение missing-ref ссылка на отсутствующий файл: ../poteto-mode/references/codex-tools.md
  • предупреждение missing-ref ссылка на отсутствующий файл: ../poteto-mode/references/copilot-tools.md
  • предупреждение missing-ref ссылка на отсутствующий файл: ../poteto-mode/references/muse-tools.md
  • предупреждение missing-ref ссылка на отсутствующий файл: ../statechart/SKILL.md

Процессный рейтинг: все десять параметров 40/100

Не запустится. Скилл ссылается на файлы, которых нет в архиве: ../poteto-mode/references/codex-tools.md, ../poteto-mode/references/copilot-tools.md, ../poteto-mode/references/muse-tools.md
  • 0Инструменты и файлы. Не хватает 4 файла(ов): ../poteto-mode/references/codex-tools.md, ../poteto-mode/references/copilot-tools.md, ../poteto-mode/references/muse-tools.md
  • 0Результат и критерий готовности. Не сказано, что считать результатом
  • 0Входы и предусловия. Не сказано, что нужно иметь на входе
  • 20Когда включается. Не сказано, при каком запросе скилл включается
  • 30Повторный запуск. Изменяющих операций: 9, без проверки текущего состояния
  • 55Ошибки и развилки. Развилок: 1
  • 100Шаги. Шагов: 7
  • 100Согласованность. Имя и обязательные поля на месте
  • 100Стоимость исполнения. Тело инструкции 1458 токенов
  • 100Отчётность по ходу. Скилл сообщает о ходе работы

Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.

Сигналы качества

  • +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
  • +3Формат ответа не описан: модель каждый раз решает сама
  • +4Нет примеров входа/выхода
  • +1Лицензия не указана
  • +2Инструкции на одном языке
  • +5В description 2 примера фраз-триггеров в кавычках
  • +3Длина description 356 символов: достаточно сигнала, не съедает бюджет
  • +4Структура: 7 заголовков
  • +3Пошаговые инструкции: 7 пунктов

База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 73.