Was macht solvr-aeon-skill?
AEON Fähigkeitenpaket für Solvr — KI-gestützter formaler Verifizierungsauftrag, basierend auf Live-Onchain-Informationen. Inspiriert von Vitaliks FV-Essay.
AEON-Fähigkeitenpaket für Solvr – KI-gestützter formaler Verifizierungsauftrag, basierend auf Live-Onchain-Informationen. Inspiriert von Vitaliks FV-Essay.
Dieses Skill-Paket, 'basiercryptoji/solvr-aeon-skill', wurde für Solvr entwickelt, eine Plattform für KI-unterstützte formale Verifizierung. Es ermöglicht die Erstellung und Ausführung von formalen Verifizierungsaufträgen, die direkt auf Live-Onchain-Daten basieren. Die Inspiration stammt von Vitalik Buterins Essay über formale Verifizierung (FV). Der Skill ist besonders nützlich für Entwickler und Teams, die Smart Contracts und Blockchain-Protokolle auf mathematische Korrektheit und Sicherheit prüfen möchten, indem sie reale Onchain-Zustände als Eingabe für die Verifizierung nutzen. Er unterstützt wahrscheinlich Solvr und könnte mit verschiedenen KI-Agenten wie Claude Code oder Cursor integriert werden, um den Verifizierungsprozess zu automatisieren und zu verbessern. Die Dokumentation (SKILL.md) beschreibt die Funktionsweise und die erforderlichen Schritte zur Nutzung des Skills.
npx skills add basedcryptoji/solvr-aeon-skillInstalled? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
AEON Fähigkeitenpaket für Solvr — KI-gestützter formaler Verifizierungsauftrag, basierend auf Live-Onchain-Informationen. Inspiriert von Vitaliks FV-Essay.
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.