CC proof-checker
Рабочий процесс строгой проверки и исправления математических доказательств. Читает доказательство в формате LaTeX, выявляет пробелы посредством межмодельного обзора (внешний бэкенд рецензента, ультра-рассуждение), исправляет каждый пробел с полными выводами, повторно проверяет и генерирует отчет об аудите. Используйте, когда пользователь говорит «检查证明», «verify proof», «proof check», «审证明», «check this proof» или хочет строгой математической проверки теоретической статьи.
машинный переводПоказать оригиналСкрыть оригинал«Rigorous mathematical proof verification and fixing workflow. Reads a…»
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, ultra reasoning), fixes each gap with full derivations, re-reviews, and generates an audit report. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants rigorous mathematical verification of a theory paper.
Рабочий процесс строгой проверки и исправления математических доказательств.
Как процесс C 59/100 · Есть пробелы — Скилл ссылается на файлы, которых нет в архиве: ../shared-references/reviewer-backends.md, ../shared-references/external-cadence.md, ../shared-references/fan-out-pattern.md
Чем это грозит
Находки средней серьёзности: скорее всего скилл честный, но прочитайте, что именно насторожило сканер.
Ниже описан худший случай для этой категории. Здесь находка средней серьёзности: guard увидел признак, но не доказательство.
Скилл просит больше прав, чем нужно для задачи: широкий доступ к инструментам, секретные переменные окружения, бинарные файлы. Каждое лишнее право расширяет ущерб при ошибке или взломе.
Сузьте allowed-tools и список переменных до минимума, замените бинарники на исходники или скрипты, которые можно прочитать.
Как улучшить
- Тело SKILL.md длиннее 5 000 токенов: вынесите справочные детали в references/ и подключайте по необходимости.
- В тексте есть ссылки на отсутствующие файлы: добавьте файлы или уберите ссылки.
- Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
- spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.
Находки guard · 2
✓ Критических и высоких находок нет
Средние и низкие: 2
-
средняя Широкие права
meta-broad-allowed-toolsSKILL.md:1Заранее разрешены широкие инструменты: Bash(*)allowed-tools: Bash(*) Read Grep Glob Write Edit Agent(aris-fanout-leaf) mcp__codex__codex mcp__codex__codex-reply mcp__manual_review__review mcp__manual_review__review_reply Skill(lean-formalize) mcp
-
низкая Рискованное назначение
intent-offensive-securitySKILL.md:397Наступательная безопасность / двойное назначение (допустимо для авторизованного тестирования; проверьте назначение)### Phase 1.5: Counterexample Red Team
Просканировано файлов: 1. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.
По спецификации Agent Skills
- предупреждение
body-longтело SKILL.md ≈ 13823 токенов (рекомендуется < 5000); вынесите детали в references/ - предупреждение
missing-refссылка на отсутствующий файл: ../shared-references/reviewer-backends.md - предупреждение
missing-refссылка на отсутствующий файл: ../shared-references/external-cadence.md - предупреждение
missing-refссылка на отсутствующий файл: ../shared-references/fan-out-pattern.md - предупреждение
missing-refссылка на отсутствующий файл: ../lean-formalize/SKILL.md
Процессный рейтинг: все десять параметров 59/100
- 0Инструменты и файлы. Не хватает 4 файла(ов): ../shared-references/reviewer-backends.md, ../shared-references/external-cadence.md, ../shared-references/fan-out-pattern.md
- 0Входы и предусловия. Не сказано, что нужно иметь на входе
- 40Стоимость исполнения. Тело инструкции 13823 токенов: вытесняет саму задачу из окна
- 50Когда включается. Не сказано, при каком запросе скилл включается
- 85Шаги. Шагов: 113, расплывчатых формулировок: 1
- 100Результат и критерий готовности. Формат результата и критерий готовности описаны
- 100Ошибки и развилки. Развилок: 1, есть раздел про ошибки
- 100Согласованность. Имя и обязательные поля на месте
- 100Повторный запуск. Изменяющие операции проверяют текущее состояние
- 100Отчётность по ходу. Скилл сообщает о ходе работы
- medium Правила безопасности и запреты внутри скилла: их место в системном промпте, здесь они не защищают
- low Разделов верхнего уровня: 12. Похоже на несколько доменов в одном скилле
- low Скилл сам сортирует и ранжирует выдачу: это работа системы на той стороне, а не модели
- low Ответ описан самодельной разметкой (3 тегов): типизированный вызов надёжнее
Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.
Сигналы качества
- +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
- +1Лицензия не указана
- +2Инструкции на одном языке
- +5В description 3 примера фраз-триггеров в кавычках
- +3Длина description 396 символов: достаточно сигнала, не съедает бюджет
- +4Структура: 66 заголовков
- +3Пошаговые инструкции: 113 пунктов
- +3Формат ответа описан явно
- +4Есть примеры (16 блоков кода)
База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 70.