Programmierung · Fortgeschritten

Verifiziert

Automatisierte Verifizierung

  • Alle automatisierten Prüfungen bestanden: Schema, Eindeutigkeit, HTTPS und erreichbarer Quelllink, Prompt-Injection- und Sicherheitsscan, Regel zum Freigabeschritt.
  • Entwurfsmodell nicht erfasst.
  • Prüfung durch ein zweites Modell: x-ai/grok-4.3 (keine kritischen oder schwerwiegenden Befunde).
  • Deutsche Übersetzung: google/gemini-4-argon, geprüft von openai/gpt-5.5.
  • Verifiziert am .
  • Nur automatisierte Prüfungen und KI-Review, keine menschliche Prüfung.
So funktioniert die Verifizierung

Code mit verifizierten Seiteneffekt-Grenzen generieren

Abgegrenzte Funktionen implementieren, Systemaufrufe über Test-Replays simulieren und verifizierte Pull Requests bereitstellen

Mit BotBento nutzen MarkdownEnglish

Öffnet BotBento. Fügen Sie den Prompt in einen Bot ein; nichts ist vorkonfiguriert.

  1. Wenn Sie fragenCode-Aufgabe empfangen
  2. DanachReplay-Tests ausführen
  3. ErgebnisVerifizierten Pull Request vorschlagen

Schreiben Sie strukturierten Code unter Einhaltung strenger Berechtigungen für Seiteneffekte, führen Sie im Terminal automatisierte Tests gegen aufgezeichnete Netzwerk- oder Dateisystem-Traces aus und reichen Sie saubere Pull Requests zusammen mit Verifizierungsprotokollen zur Überprüfung durch Entwickler ein.

Prompt zum Einstieg

BotBentoEmpfohlen
Analysiere die angeforderten funktionalen Spezifikationen und schreibe Implementierungen, die alle externen Effekte explizit deklarieren. Führe im Terminal Replay-Testsuiten gegen zwischengespeicherte Mock-Umgebungen aus. Fordere immer eine Benutzerfreigabe an, bevor du Branches erstellst, Pull Requests auf GitHub öffnest oder bestehende Repository-Dateien änderst.