BC proof-orchestrator
Управление состоятельным проектом доказательств на основе каталога запусков: продолжение между запусками, учет исходного кода локально, пакеты ручной передачи GPT Pro при застопоривании локальной попытки и необязательное второе мнение DeepSeek в качестве дополнительного доказательства. Используйте, когда пользователь запрашивает оркестрацию запуска доказательств, передачу GPT Pro или продолжение доказательств между запусками — используйте /proof-writer для обычного написания доказательств и /proof-checker для строгой проверки или принятия к публикации.
машинный переводПоказать оригиналСкрыть оригинал«Manage a stateful, run-directory-based proof project: continuation acr…»
Manage a stateful, run-directory-based proof project: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional DeepSeek second opinion as additional evidence only. Use when the user asks for proof-run orchestration, a GPT Pro handoff, or cross-run proof continuation — use /proof-writer for ordinary proof drafting and /proof-checker for rigorous verification or submission acceptance.
Управление состоятельным проектом доказательств на основе каталога запусков: продолжение между запусками, учет исходного кода локально, пакеты ручной передачи…
Как процесс C 62/100 · Есть пробелы — Скилл ссылается на файлы, которых нет в архиве: ../lean-formalize/SKILL.md
Как улучшить
- В тексте есть ссылки на отсутствующие файлы: добавьте файлы или уберите ссылки.
- Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
- spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.
Находки guard · 0
✓ Критических и высоких находок нет
Просканировано файлов: 8. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.
По спецификации Agent Skills
- предупреждение
missing-refссылка на отсутствующий файл: ../lean-formalize/SKILL.md
Процессный рейтинг: все десять параметров 62/100
- 0Инструменты и файлы. Не хватает 1 файла(ов): ../lean-formalize/SKILL.md
- 30Повторный запуск. Изменяющих операций: 5, без проверки текущего состояния
- 40Результат и критерий готовности. Не сказано, что считать результатом
- 70Когда включается. Сказано, когда применять, но не сказано, когда не стоит
- 70Входы и предусловия. Входные данные и предусловия перечислены
- 70Стоимость исполнения. Тело инструкции 4583 токенов
- 100Шаги. Шагов: 100
- 100Ошибки и развилки. Развилок: 1, есть раздел про ошибки
- 100Согласованность. Имя и обязательные поля на месте
- 100Отчётность по ходу. Скилл сообщает о ходе работы
- medium Правила безопасности и запреты внутри скилла: их место в системном промпте, здесь они не защищают
- low Разделов верхнего уровня: 12. Похоже на несколько доменов в одном скилле
Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.
Сигналы качества
- +5В description нет примеров фраз, по которым скилл должен срабатывать
- +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
- +3Формат ответа не описан: модель каждый раз решает сама
- +1Лицензия не указана
- +2Инструкции на одном языке
- +3Длина description 461 символов: достаточно сигнала, не съедает бюджет
- +4Структура: 13 заголовков
- +3Пошаговые инструкции: 100 пунктов
- +4Есть примеры (3 блоков кода)
- +4Справочные файлы упоминаются в инструкциях (4 из 6)
База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 82.