Was macht solana-skills?
Formal verifizieren Sie Solana-Programme mit Lean-4-Beweisen. Ein Agenten-Skill, unterstützt durch Mistrals Leanstral-Modell.
Formal Verifikation von Solana-Programmen mit Lean-4-Beweisen. Ein Agenten-Skill, unterstützt durch Mistrals Leanstral-Modell.
Der Skill QEDGen/solana-skills ermöglicht es KI-Agenten, Solana-Programme formal mit Lean 4 zu verifizieren. Er wird von Mistrals spezialisiertem Leanstral-Modell angetrieben, das auf mathematische Beweisführung und formale Verifikation ausgelegt ist. Dieser Skill ist besonders nützlich für Entwickler, die hochsichere Solana-Programme (z. B. Smart Contracts) schreiben und sicherstellen möchten, dass kritische Eigenschaften – wie Korrektheit der Logik, Speichersicherheit und Einhaltung von Invarianten – mathematisch garantiert sind. Durch die Integration in Agenten-Plattformen wie Claude Code oder Cursor können Entwickler direkt aus der Entwicklungsumgebung heraus formale Beweise generieren und überprüfen lassen. Der Skill nutzt Leanstral, um natürliche Spezifikationen in Lean-4-Theorembeweise zu übersetzen und diese automatisch auf Solana-Programme anzuwenden.
npx skills add QEDGen/solana-skillsInstalled? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Formal verifizieren Sie Solana-Programme mit Lean-4-Beweisen. Ein Agenten-Skill, unterstützt durch Mistrals Leanstral-Modell.
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.