AB lean-proof-to-solidity-smart-contract-generator
Генератор смарт-контрактов Solidity из Lean Proof: Инструмент позволяет проверять Lean, генерировать Solidity из него, компилировать его. Используйте, когда агенту нужен генератор смарт-контрактов Solidity из Lean Proof, получение допустимых продвинутых шаблонов и фрагментов Lean, проверка продвинутого Lean Solidity IR перед генерацией, генерация Solidity из продвинутого Lean Solidity IR, компиляция сгенерированного Solidity в ABI и байткод, каталогизация, компиляция ABI байткода, soliditytext через удаленные вызовы инструментов, размещенные AgentPMT.
машинный переводПоказать оригиналСкрыть оригинал«Lean Proof To Solidity Smart Contract Generator: The tool allows you t…»
Lean Proof To Solidity Smart Contract Generator: The tool allows you to validate Lean, generate Solidity from it, compile the. Use when an agent needs lean proof to solidity smart contract generator, fetch allowable advanced lean templates and snippets, validate advanced lean solidity ir before generation, generate solidity from advanced lean solidity ir, compile generated solidity to abi and bytecode, catalog, compile abi bytecode, soliditytext through AgentPMT-hosted remote tool calls.
Генератор смарт-контрактов Solidity из Lean Proof: Инструмент позволяет проверять Lean, генерировать Solidity из него, компилировать его.
Как процесс B 68/100 · Почти готов — слабые места: входы и предусловия, повторный запуск, отчётность по ходу
Как улучшить
- Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
- spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.
Находки guard · 0
✓ Критических и высоких находок нет
Просканировано файлов: 3. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.
По спецификации Agent Skills
- заметка
frontmatter-keyнеизвестное поле фронтматтера "homepage"
Процессный рейтинг: все десять параметров 68/100
- 0Входы и предусловия. Не сказано, что нужно иметь на входе
- 0Отчётность по ходу. Скилл ничего не сообщает по ходу работы
- 30Повторный запуск. Изменяющих операций: 7, без проверки текущего состояния
- 60Инструменты и файлы. Используются инструменты (web), но во frontmatter они не объявлены
- 60Результат и критерий готовности. Формат результата описан, критерия завершения нет
- 70Когда включается. Сказано, когда применять, но не сказано, когда не стоит
- 100Шаги. Шагов: 82
- 100Ошибки и развилки. Развилок: 2, есть раздел про ошибки
- 100Согласованность. Имя и обязательные поля на месте
- 100Стоимость исполнения. Тело инструкции 3389 токенов
- medium Правила безопасности и запреты внутри скилла: их место в системном промпте, здесь они не защищают
- low Разделов верхнего уровня: 12. Похоже на несколько доменов в одном скилле
Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.
Сигналы качества
- +5В description нет примеров фраз, по которым скилл должен срабатывать
- +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
- +1Лицензия не указана
- +2Инструкции на одном языке
- +3Длина description 492 символов: достаточно сигнала, не съедает бюджет
- +4Структура: 13 заголовков
- +3Пошаговые инструкции: 82 пунктов
- +3Формат ответа описан явно
- +4Есть примеры (10 блоков кода)
База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 86.