BC formula-derivation
Структурирует и выводит исследовательские формулы, когда пользователь хочет 推导公式, построить теоретическую линию, организовать предположения, преобразовать разрозненные уравнения в связный вывод или переписать заметки по теории в документ с формулами, готовый для статьи. Используйте, когда цель вывода еще не полностью определена, основной объект еще предстоит выбрать, или пользователю нужен связный пакет выводов, а не готовое доказательство теоремы.
машинный переводПоказать оригиналСкрыть оригинал«Structures and derives research formulas when the user wants to 推导公式,…»
Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document. Use when the derivation target is not yet fully fixed, the main object still needs to be chosen, or the user needs a coherent derivation package rather than a finished theorem proof.
Структурирует и выводит исследовательские формулы, когда пользователь хочет 推导公式, построить теоретическую линию, организовать предположения, преобразовать…
Как процесс C 63/100 · Есть пробелы — Скилл ссылается на файлы, которых нет в архиве: ../lean-formalize/SKILL.md
Такой же скилл встречается ещё в 1 месте: Auto-claude-code-research-in-sleep
Как улучшить
- В тексте есть ссылки на отсутствующие файлы: добавьте файлы или уберите ссылки.
- Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
- spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.
Находки guard · 0
✓ Критических и высоких находок нет
Просканировано файлов: 1. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.
По спецификации Agent Skills
- предупреждение
missing-refссылка на отсутствующий файл: ../lean-formalize/SKILL.md
Процессный рейтинг: все десять параметров 63/100
- 0Инструменты и файлы. Не хватает 1 файла(ов): ../lean-formalize/SKILL.md
- 0Отчётность по ходу. Скилл ничего не сообщает по ходу работы
- 60Результат и критерий готовности. Формат результата описан, критерия завершения нет
- 60Ошибки и развилки. Развилок: 2
- 70Когда включается. Сказано, когда применять, но не сказано, когда не стоит
- 70Входы и предусловия. Входные данные и предусловия перечислены
- 100Шаги. Шагов: 123
- 100Согласованность. Имя и обязательные поля на месте
- 100Стоимость исполнения. Тело инструкции 2205 токенов
- 100Повторный запуск. Изменяющие операции проверяют текущее состояние
- low Разделов верхнего уровня: 10. Похоже на несколько доменов в одном скилле
Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.
Сигналы качества
- +5В description нет примеров фраз, по которым скилл должен срабатывать
- +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
- +1Лицензия не указана
- +2Инструкции на одном языке
- +3Длина description 409 символов: достаточно сигнала, не съедает бюджет
- +4Структура: 22 заголовков
- +3Пошаговые инструкции: 123 пунктов
- +3Формат ответа описан явно
- +4Есть примеры (1 блоков кода)
База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 81.