CC proof-checker
Строгий рабочий процесс проверки и исправления математических доказательств. Читает доказательство в LaTeX, выявляет пробелы посредством обзора свежим агентом Codex GPT-6-Astra ultra, исправляет каждый пробел с полными выводами, повторно проверяет и генерирует отчет об аудите. Базовый обзор является предварительным для того же семейства. Используйте, когда пользователь говорит «проверить доказательство», «verify proof», «proof check», «审证明», «проверить это доказательство» или хочет строгого математического подтверждения теоретической статьи.
машинный переводПоказать оригиналСкрыть оригинал«Rigorous mathematical proof verification and fixing workflow. Reads a…»
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via fresh-agent Codex GPT-6-Astra ultra review, fixes each gap with full derivations, re-reviews, and generates an audit report. Base review is same-family provisional. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants rigorous mathematical verification of a theory paper.
Строгий рабочий процесс проверки и исправления математических доказательств.
Как процесс C 56/100 · Есть пробелы — Скилл ссылается на файлы, которых нет в архиве: ../shared-references/reviewer-backends.md, ../shared-references/fan-out-pattern.md, ../lean-formalize/SKILL.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 mcp__antigravity__antigravity mcp__antigravity__antigravity-reply mcp__grok__grok mcp__grok__grok-reply mcp__claude-review__review mcp__claude-review__
-
низкая Рискованное назначение
intent-offensive-securitySKILL.md:294Наступательная безопасность / двойное назначение (допустимо для авторизованного тестирования; проверьте назначение)### Phase 1.5: Counterexample Red Team
Просканировано файлов: 1. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.
По спецификации Agent Skills
- предупреждение
body-longтело SKILL.md ≈ 7747 токенов (рекомендуется < 5000); вынесите детали в references/ - предупреждение
missing-refссылка на отсутствующий файл: ../shared-references/reviewer-backends.md - предупреждение
missing-refссылка на отсутствующий файл: ../shared-references/fan-out-pattern.md - предупреждение
missing-refссылка на отсутствующий файл: ../lean-formalize/SKILL.md
Процессный рейтинг: все десять параметров 56/100
- 0Инструменты и файлы. Не хватает 3 файла(ов): ../shared-references/reviewer-backends.md, ../shared-references/fan-out-pattern.md, ../lean-formalize/SKILL.md
- 0Входы и предусловия. Не сказано, что нужно иметь на входе
- 50Когда включается. Не сказано, при каком запросе скилл включается
- 50Ошибки и развилки. Развилок: 0, есть раздел про ошибки
- 70Стоимость исполнения. Тело инструкции 7747 токенов
- 85Шаги. Шагов: 68, расплывчатых формулировок: 1
- 100Результат и критерий готовности. Формат результата и критерий готовности описаны
- 100Согласованность. Имя и обязательные поля на месте
- 100Повторный запуск. Изменяющие операции проверяют текущее состояние
- 100Отчётность по ходу. Скилл сообщает о ходе работы
- medium Правила безопасности и запреты внутри скилла: их место в системном промпте, здесь они не защищают
- low Разделов верхнего уровня: 10. Похоже на несколько доменов в одном скилле
Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.
Сигналы качества
- +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
- +1Лицензия не указана
- +2Инструкции на одном языке
- +5В description 3 примера фраз-триггеров в кавычках
- +3Длина description 415 символов: достаточно сигнала, не съедает бюджет
- +4Структура: 53 заголовков
- +3Пошаговые инструкции: 68 пунктов
- +3Формат ответа описан явно
- +4Есть примеры (13 блоков кода)
База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 70.