Communitygithub.com

Solana-Programmgarantien mit QEDGen definieren

Definiere Garantien für Solana-Programme in .qedspec-Dateien und nutze QEDGen zur Spezifikationsvalidierung und Fehlersuche vor dem Mainnet-Deployment.

Was ist Solana-Programmgarantien mit QEDGen definieren?

Dieses Skill ermöglicht es Entwicklern, formale Garantien („Guarantees“) für Solana-Programme in .qedspec-Dateien zu definieren. Mit dem Tool QEDGen werden diese Spezifikationen automatisch überprüft und Bugs sowie Sicherheitslücken aufgedeckt – noch bevor der Code auf das Mainnet deployt wird. Der Skill unterstützt gängige Entwicklerumgebungen wie VS Code, Cursor, Claude Code und Codex. Entwickler erstellen eine qedspec-Datei und führen QEDGen aus, um Abweichungen zwischen der Spezifikation und dem tatsächlichen Programmverhalten zu erkennen. Dies verbessert die Korrektheit und Sicherheit von Solana-Programmen erheblich und reduziert das Risiko teurer Fehler im Live-Betrieb.

Funktioniert mit~Claude Code~Codex CLI~Cursor
npx skills add beardedwheatgrasswalkupapartment951/solana-skills
Original anzeigen→Alle Skills durchsuchen

In Ihrer bevorzugten KI fragen

Öffnet einen neuen Chat, in dem dieser Agent-Skill bereits geladen ist.

OpenAIChatGPTClaudeClaudeGeminiGeminiGrokGrokPerplexityPerplexityDeepSeekDeepSeek

Dokumentation

Was macht Solana-Programmgarantien mit QEDGen definieren?

Definiere Garantien für Solana-Programme in .qedspec-Dateien und nutze QEDGen zur Spezifikationsvalidierung und Fehlersuche vor dem Mainnet-Deployment.

Wie es funktioniert

  1. Erstelle eine .qedspec-Datei in deinem Solana-Projekt.
  2. Definiere die Garantien (z. B. Invarianten, Eigenschaften von Konten oder Instruktionen).
  3. Führe QEDGen aus, um die Spezifikation gegen deinen Programm-Code zu prüfen.
  4. Erhalte detaillierte Berichte zu gefundenen Bugs oder Verletzungen der Garantien.

Unterstützte Plattformen

  • VS Code
  • Cursor
  • Claude Code
  • Codex

Beispiel einer .qedspec-Datei

guarantees:
  - name: „Kontostand nie negativ“
    type: invariant
    target: account.balance
    condition: ">= 0"

Nützliche Links

Verwandte Skills

steipete/sag

ElevenLabs text-to-speech with mac-style say UX.

community

steipete/oracle

Oracle CLI second-model review/debug/refactor/design with selected files, dry-run token checks, API or browser engine.

community

steipete/peekaboo

Capture and automate macOS UI with the Peekaboo CLI.

community

mattpocock/design-an-interface

Generate multiple radically different interface designs for a module using parallel sub-agents. Use when user wants to design an API, explore interface options, compare module shapes, or mentions "design it twice".

community

mattpocock/prototype

Build a throwaway prototype to flesh out a design — a runnable terminal app for state/business-logic questions, or several radically different UI variations toggleable from one route.

community

mattpocock/grill-me

Interview the user relentlessly about a plan or design until reaching shared understanding, resolving each branch of the decision tree. Use when user wants to stress-test a plan, get grilled on their design, or mentions "grill me".

community