BF program-derivation
Формальное выведение программ: определение архитектуры, уровни абстракции, метрики (CC, LCOM, связность, сплоченность, зависимость от поставщика, SoC, протекающие абстракции). Загрузите этот навык, когда пользователь запрашивает анализ архитектуры, выведение программы, формальное выведение, уровни абстракции, проектирование интерфейсов, измерение сложности, планирование рефакторинга или оценку качества программного обеспечения.
машинный переводПоказать оригиналСкрыть оригинал«Formale Programmableitung / Formal Program Derivation: Architektur-Erm…»
Formale Programmableitung / Formal Program Derivation: Architektur-Ermittlung, Abstraktionsschichten, Metriken (CC, LCOM, Kopplung, Kohäsion, Vendor Lock-in, SoC, Leaky Abstractions). Lade diesen Skill wenn der Nutzer eine Architekturanalyse, Programmableitung, formale Ableitung, Abstraktionsschichten, Interface-Design, Komplexitätsmessung, Refactoring-Planung oder Software-Qualitätsbewertung anfordert. / Load this skill when the user requests architecture analysis, program derivation, formal derivation, abstraction layers, interface design, complexity measurement, refactoring planning or software quality assessment.
Формальное выведение программ: определение архитектуры, уровни абстракции, метрики (CC, LCOM, связность, сплоченность, зависимость от поставщика, SoC…
Как процесс F 55/100 · Не запустится — Скилл ссылается на файлы, которых нет в архиве: references/boundary-checklist.md, references/interface-templates.md, references/metrics-examples.md
Как улучшить
- В тексте есть ссылки на отсутствующие файлы: добавьте файлы или уберите ссылки.
- Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
- spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.
Находки guard · 0
✓ Критических и высоких находок нет
Просканировано файлов: 2. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.
По спецификации Agent Skills
- предупреждение
frontmatter-yamlSKILL.md: фронтматтер не разбирается как YAML (YAML parse error: Nested mappings are not allowed in compact mappings at line 2, column 14: description: Formale Programmableitung / Formal Program Derivation: Architektur… ^ ); поля прочитаны построчно. Обычная причина — двоеточие в незакавыченном значении - предупреждение
missing-refссылка на отсутствующий файл: references/boundary-checklist.md - предупреждение
missing-refссылка на отсутствующий файл: references/interface-templates.md - предупреждение
missing-refссылка на отсутствующий файл: references/metrics-examples.md
Процессный рейтинг: все десять параметров 55/100
- 0Инструменты и файлы. Не хватает 3 файла(ов): references/boundary-checklist.md, references/interface-templates.md, references/metrics-examples.md
- 0Входы и предусловия. Не сказано, что нужно иметь на входе
- 0Отчётность по ходу. Скилл ничего не сообщает по ходу работы
- 50Ошибки и развилки. Развилок: 0, есть раздел про ошибки
- 60Результат и критерий готовности. Формат результата описан, критерия завершения нет
- 70Когда включается. Сказано, когда применять, но не сказано, когда не стоит
- 100Шаги. Шагов: 52
- 100Согласованность. Имя и обязательные поля на месте
- 100Стоимость исполнения. Тело инструкции 1561 токенов
- 100Повторный запуск. Изменяющих операций нет
Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.
Сигналы качества
- +5В description нет примеров фраз, по которым скилл должен срабатывать
- +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
- +1Лицензия не указана
- +2Инструкции на одном языке
- +3Длина description 624 символов: достаточно сигнала, не съедает бюджет
- +4Структура: 22 заголовков
- +3Пошаговые инструкции: 52 пунктов
- +3Формат ответа описан явно
- +4Есть примеры (1 блоков кода)
База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 65.