📦

write-contract

Name: write-contract
Author: internet-court

Ревизия содержимого r2 Безопасно ⚡ Содержит скрипты⚙️ Внешние команды🌐 Доступ к сети

Создание производственных контрактов GenLayer

Контрактам GenLayer необходимы закрепленные версии раннеров, стабильные правила консенсуса и аккуратная обработка LLM. Этот навык помогает Claude, Codex и Claude Code проектировать и проверять контракты для производственной среды.

Поддерживает: Claude Codex Code(CC)

🥉 77 Бронза

Установить с помощью моего Агента

Скопируйте этот запрос в своего Агента. Он содержит каноническую страницу Skill и манифест.

Запрос агента

Review the Skillstore skill "write-contract" from https://skillstore.io/skills/internet-court-write-contract.md and its manifest at https://skillstore.io/api/skills/internet-court-write-contract/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.

Ваш Агент по-прежнему должен показать план и запросить все подтверждения, требуемые политикой безопасности.

Ресурсы для AI-агентов

Используйте эти ссылки, когда AI-агенту, crawler или script нужен чистый контекст вместо полной страницы.

Markdown-детали GET /skills/internet-court-write-contract.md Подписанный manifest GET /api/skills/internet-court-write-contract/manifest Подписанный lockfile GET /api/skills/internet-court-write-contract/lockfile

Протестировать

Использование «write-contract». Создай контракт GenLayer для апелляций по модерации с предоставленными доказательствами.

Ожидаемый результат:

Структура контракта с рекомендациями по закреплению версии раннера, записями апелляций, методами отправки и разрешения, критериями сравнительной валидации и обязательными тестами.

Использование «write-contract». Проверь мою идею расчета по прогнозу на основе данных публичного веб-сайта.

Ожидаемый результат:

Описание границ, при которых предварительные просмотры остаются вне блокчейна, исходные доказательства загружаются во время расчета, определяется стабильный статус и исключаются переменные поля.

Использование «write-contract». Улучши разбор выходных данных LLM для контракта оценки.

Ожидаемый результат:

План разбора данных с рекомендациями по формату ответа, псевдонимами ключей, приведением числовых значений, типизированными префиксами ошибок и правилами согласования валидаторов.

Аудит безопасности

Безопасно

v3 • 07.08.2026 Открыть версионный отчет

Three eval-related findings are confirmed because the skill recommends executing LLM-generated expressions, despite restricted builtins and a sandbox. The remaining static findings are false positives caused by markdown backticks, headings, prose, or legitimate web and RPC guidance.

Просканировано файлов

587

Проанализировано строк

Пункты проверки

Ложные срабатывания проигнорированы

Пункты проверки возможностей (3)

Это реальные локальные возможности, которые могут ожидаться для этого навыка, поэтому они требуют проверки, но не считаются подтверждённым вредоносным поведением.

Высокий

SKILL.md:393

Dynamic code evaluation with eval()

LLMs can't reliably inspect characters in their input (they hallucinate em dashes, miscount characte

The skill explicitly recommends evaluating expressions generated by an LLM. A sandbox and restricted builtins reduce exposure, but dynamically executing generated code remains a real escape and resource-exhaustion risk.

Высокий

SKILL.md:407

Dynamic code evaluation with eval()

# Step 2: eval() all checks in one sandbox — deterministic, no hallucination

The example executes LLM-produced checks with eval inside a sandbox. The isolation is a mitigation, not proof that arbitrary generated expressions are safe.

Высокий

SKILL.md:412

Dynamic code evaluation with eval()

ok = eval(c["expression"], {

The example directly calls eval on c["expression"]. The globals restrict builtins and expose only text and basic functions, but attacker-influenced rules could still abuse parser or sandbox weaknesses.

Факторы риска

⚡ Содержит скрипты (4)

SKILL.md:393 SKILL.md:407 SKILL.md:412 SKILL.md:178

⚙️ Внешние команды (50)

🌐 Доступ к сети (2)

SKILL.md:490 SKILL.md:176

Аудитор:: codex Посмотреть историю аудитов →

Поделиться и цитировать этот отчет

Делитесь версионным отчетом об оценке, нейтральным значком, встраиваемой карточкой и цитатами. Skillstore публикует доказательства, не решая, безопасен ли этот Skill.

Открыть версионный отчет

Копировать ссылку на отчёт

https://skillstore.io/skills/internet-court-write-contract/audits/3?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_report

Значок Markdown

[![Skillstore security assessment](https://skillstore.io/badges/skills/internet-court-write-contract/security.svg)](https://skillstore.io/skills/internet-court-write-contract?utm_source=security_passport_badge)

Значок HTML

<a href="https://skillstore.io/skills/internet-court-write-contract?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/internet-court-write-contract/security.svg" alt="Skillstore security assessment" loading="lazy"></a>

Встраиваемая карточка

<iframe src="https://skillstore.io/embed/skills/internet-court-write-contract.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>

Академические ссылки (APA · BibTeX · CFF)

Цитата APA

internet-court. (2026). write-contract security audit report (audit version 3) [Author version unspecified]. Skillstore. https://skillstore.io/skills/internet-court-write-contract/audits/3

Цитата BibTeX

@techreport{internet-court-internet-court-write-contract-2026,
  author = {internet-court},
  title = {write-contract security audit report (audit version 3)},
  institution = {Skillstore},
  year = {2026},
  number = {3},
  url = {https://skillstore.io/skills/internet-court-write-contract/audits/3},
  note = {Author version unspecified}
}

CITATION.cff

cff-version: 1.2.0
message: "If you use this Skill, cite its author and this versioned security audit report."
title: "write-contract security audit report (audit version 3)"
version: "unspecified"
type: report
authors:
  - name: "internet-court"
date-released: "2026-08-07"
url: "https://skillstore.io/skills/internet-court-write-contract/audits/3"
identifiers:
  - type: other
    value: "skillstore:internet-court-write-contract:audit:3"
    description: "Skillstore immutable audit report identifier"

Оценка Skillstore

Почему такая оценка Достоверность доказательств: Средний

Архитектура

Сопровождаемость

Контент

Сообщество

Соответствие спецификации

Что вы можете построить

Создание контракта для разрешения споров

Продуктовые команды могут преобразовать правила эскроу или апелляции в проект контракта с четкими границами для доказательств, расчетов и валидаторов.

Проверка логики консенсуса

Разработчики смарт-контрактов могут выбрать подходящий принцип эквивалентности и избежать проверки только результата лидера при работе с выходными данными ИИ или веб-источников.

Повышение надежности хранилища контракта

Инженеры протоколов могут применить правила хранения, обработки ошибок и обновления перед развертыванием контрактов, управляющих постоянным состоянием.

Попробуйте эти промпты

Создание базового контракта

Используй write-contract, чтобы подготовить контракт GenLayer для моей функции. Добавь закрепленную версию раннера, поля хранилища, публичные методы и тесты.

Выбор границ консенсуса

Используй write-contract, чтобы определить, что должно находиться в блокчейне для этого рабочего процесса: [опишите рабочий процесс]. Укажи доказательства, последствия расчетов и обязанности вне блокчейна.

Повышение надежности валидации LLM

Используй write-contract, чтобы проверить этот процесс контракта на основе LLM. Улучши принцип эквивалентности, проверки валидаторов, обработку ошибок и стратегию разбора данных.

Проектирование межконтрактного рабочего процесса

Используй write-contract, чтобы спроектировать рабочий процесс GenLayer с несколькими контрактами, отправленными операциями записи, развертыванием рабочих контрактов, проверкой RPC, структурой хранилища и интеграционными тестами.

Лучшие практики

Закрепите версию раннера GenVM до написания логики контракта.
Обеспечьте независимую проверку валидаторами результата лидера по исходным данным или результатам повторного запуска.
Выполните линтинг и интеграционные тесты консенсуса перед развертыванием.

Избегать

Использование py-genlayer:test, py-genlayer:latest или псевдонимов раннера без указания версии в сгенерированных контрактах.
Проверка только структуры ответа или меток с одновременным принятием содержательного ответа лидера.
Непосредственное хранение списков и словарей Python, чисел с плавающей точкой для денежных значений или перечислений в состоянии контракта.

Часто задаваемые вопросы

Что помогает создавать этот навык?

Он помогает создавать интеллектуальные контракты GenLayer с закрепленными версиями раннеров, логикой валидаторов, правилами хранения и рекомендациями по тестированию.

Создает ли он контракты, готовые к развертыванию?

Он предоставляет рекомендации, ориентированные на производственную среду, но пользователи должны выполнить линтинг, тестирование и проверку каждого контракта перед развертыванием.

Какие инструменты могут его использовать?

В отчете указана поддержка Claude, Codex и Claude Code.

Обрабатывает ли он выходные данные LLM?

Да. Он рекомендует форматирование ответов, защищенный разбор данных, классификацию ошибок и правила сравнения результатов валидаторов.

Может ли он проектировать межконтрактные процессы?

Да. Он охватывает чтение из контрактов, отправленные операции записи, развертывание через фабрику и паттерны проверки RPC.

Что пользователям следует проверять особенно внимательно?

Пользователям следует внимательно проверить правила консенсуса, внешние сетевые вызовы, структуру хранилища и любые паттерны сгенерированного кода на основе eval.