📦

write-contract

Name: write-contract
Author: internet-court

Inhaltsrevision r2 Sicher ⚡ Enthält Skripte⚙️ Externe Befehle🌐 Netzwerkzugriff

Produktionsreife GenLayer-Verträge schreiben

GenLayer-Verträge benötigen festgelegte Runner-Versionen, stabile Konsensregeln und einen sorgfältigen Umgang mit LLMs. Dieser Skill unterstützt Claude, Codex und Claude Code beim Entwurf und bei der Prüfung produktionsreifer Verträge.

Unterstützt: Claude Codex Code(CC)

🥉 77 Bronze

Mit meinem Agent installieren

Kopieren Sie diese Anfrage in Ihren Agent. Sie enthält die maßgebliche Skill-Seite und das Manifest.

Agent-Anfrage

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.

Ihr Agent sollte weiterhin seinen Plan anzeigen und alle von der Sicherheitsrichtlinie verlangten Bestätigungen anfordern.

Agent-lesbare Ressourcen

Verwenden Sie diese Links, wenn ein KI-Agent, Crawler oder Skript sauberen Kontext benötigt, statt die vollständige Seite zu lesen.

Markdown-Detailseite GET /skills/internet-court-write-contract.md Signiertes manifest GET /api/skills/internet-court-write-contract/manifest Signiertes lockfile GET /api/skills/internet-court-write-contract/lockfile

Testen

„write-contract“ wird verwendet. Erstelle einen GenLayer-Vertrag für Moderationseinsprüche mit eingereichten Nachweisen.

Erwartetes Ergebnis:

Ein Vertragsentwurf mit Anleitung zur Festlegung der Runner-Version, Einspruchsdatensätzen, Methoden zum Einreichen und Entscheiden, vergleichenden Validierungskriterien und erforderlichen Tests.

„write-contract“ wird verwendet. Prüfe meine Idee zur Abwicklung einer Vorhersage anhand einer öffentlichen Website.

Erwartetes Ergebnis:

Ein Hinweis zur Abgrenzung, der Vorschauen Off-Chain hält, Quelldaten während der Abwicklung abruft, einen stabilen Status ableitet und variable Felder vermeidet.

„write-contract“ wird verwendet. Verbessere das LLM-Parsing für einen Bewertungsvertrag.

Erwartetes Ergebnis:

Ein Parsing-Konzept mit Vorgaben für das Antwortformat, Schlüsselaliasen, numerischer Typumwandlung, typisierten Fehlerpräfixen und Regeln für die Übereinstimmung der Validatoren.

Sicherheitsaudit

Sicher

v3 • 7.8.2026 Versionsbericht öffnen

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.

Gescannte Dateien

587

Analysierte Zeilen

Prüfelemente

Falschmeldungen ignoriert

Elemente der Fähigkeitsprüfung (3)

Dies sind echte lokale Fähigkeiten, die für diese Fähigkeit erwartet werden können; daher müssen sie überprüft werden, werden jedoch nicht als bestätigtes bösartiges Verhalten gezählt.

Hoch

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.

Hoch

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.

Hoch

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.

Risikofaktoren

⚡ Enthält Skripte (4)

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

⚙️ Externe Befehle (50)

🌐 Netzwerkzugriff (2)

SKILL.md:490 SKILL.md:176

Geprüft von: codex Audit-Verlauf anzeigen →

Diesen Bericht teilen & zitieren

Teile den versionierten Bewertungsbericht, das neutrale Badge, die Einbettungskarte und Zitate. Skillstore berichtet Nachweise, ohne zu entscheiden, ob dieser Skill sicher ist.

Versionsbericht öffnen

Berichtslink kopieren

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

Markdown-Badge

[![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-Badge

<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>

Einbettungskarte

<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>

Wissenschaftliche Zitate (APA · BibTeX · CFF)

APA-Zitat

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-Zitat

@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-Score

Warum dieser Score Evidenzvertrauen: Mittel

Architektur

Wartbarkeit

Inhalt

Gemeinschaft

Spezifikationskonformität

Was Sie erstellen können

Einen Streitbeilegungsvertrag erstellen

Produktteams können Treuhand- oder Einspruchsregeln in einen Vertragsentwurf mit Nachweisen, Abwicklung und Validatorgrenzen überführen.

Konsenslogik prüfen

Smart-Contract-Entwickler können das richtige Äquivalenzprinzip auswählen und bei KI- oder Webausgaben eine Validierung vermeiden, die sich ausschließlich auf den Leader stützt.

Vertragsspeicher absichern

Protokollentwickler können Speicher-, Fehler- und Aktualisierungsregeln anwenden, bevor sie Verträge bereitstellen, die einen persistenten Zustand verwalten.

Diese Prompts ausprobieren

Einen grundlegenden Vertrag entwerfen

Verwende write-contract, um einen GenLayer-Vertrag für meine Funktion zu entwerfen. Füge den festgelegten Runner, Speicherfelder, öffentliche Methoden und Tests hinzu.

Konsensgrenzen festlegen

Verwende write-contract, um zu entscheiden, welche Teile dieses Arbeitsablaufs On-Chain gehören: [Arbeitsablauf beschreiben]. Identifiziere Nachweise, Auswirkungen der Abwicklung und Off-Chain-Aufgaben.

LLM-Validierung absichern

Verwende write-contract, um diesen LLM-basierten Vertragsablauf zu prüfen. Verbessere das Äquivalenzprinzip, die Validatorprüfungen, die Fehlerbehandlung und die Parsing-Strategie.

Vertragsübergreifenden Arbeitsablauf entwerfen

Verwende write-contract, um einen GenLayer-Arbeitsablauf mit mehreren Verträgen zu entwerfen, einschließlich ausgelöster Schreibvorgänge, Worker-Bereitstellung, RPC-Verifizierung, Speicherlayout und Integrationstests.

Bewährte Praktiken

Lege die GenVM runner-Version fest, bevor du die Vertragslogik schreibst.
Stelle sicher, dass Validatoren das Ergebnis des Leaders unabhängig anhand von Quelldaten oder eines zweiten Durchlaufs prüfen.
Führe vor der Bereitstellung Linting und Konsens-Integrationstests aus.

Vermeiden

Die Verwendung von py-genlayer:test, py-genlayer:latest oder Runner-Aliasen ohne Versionsangabe in generierten Verträgen.
Nur die Struktur oder Bezeichnungen der Antwort zu prüfen und dabei die inhaltliche Antwort des Leaders zu akzeptieren.
Python-Listen, Wörterbücher, Gleitkommazahlen für Geldbeträge oder Aufzählungstypen direkt im Vertragszustand zu speichern.

Häufig gestellte Fragen

Was hilft dieser Skill zu erstellen?

Er unterstützt bei der Erstellung intelligenter GenLayer-Verträge mit festgelegten Runner-Versionen, Validatorlogik, Speicherregeln und Testanleitungen.

Schreibt er bereitstellungsfertige Verträge?

Er bietet produktionsorientierte Anleitungen, aber Benutzer müssen jeden Vertrag vor der Bereitstellung linten, testen und prüfen.

Welche Tools können ihn verwenden?

Der Bericht nennt die Unterstützung für Claude, Codex und Claude Code.

Verarbeitet er LLM-Ausgaben?

Ja. Er empfiehlt Antwortformatierung, defensives Parsing, Fehlerklassifizierung und Regeln für den Validatorvergleich.

Kann er vertragsübergreifende Abläufe entwerfen?

Ja. Er behandelt Lesezugriffe auf Verträge, ausgelöste Schreibvorgänge, Factory-Bereitstellungen und Muster zur RPC-Verifizierung.

Was sollten Benutzer sorgfältig prüfen?

Benutzer sollten Konsensregeln, externe Netzwerkaufrufe, das Speicherlayout und alle eval-basierten Muster für generierten Code sorgfältig prüfen.