solvr-aeon-skill は何をしますか？
Solvr向けAEONスキルパック — ライブオンチェーンインテルに基づいた、AI支援による形式検証ワークオーダー。VitalikのFVエッセイから着想を得ています。
Solvr向けAEONスキルパック — ライブオンチェーンインテルに基づいた、AI支援による形式検証ワークオーダー。VitalikのFVエッセイから着想を得ています。
このスキルパックは、Solvrプラットフォーム向けのAEONスキルを提供します。AIエージェントがライブオンチェーンデータを活用して、スマートコントラクトやプロトコルの形式検証ワークオーダーを自動生成・管理できるようにします。Vitalik Buterinの形式検証（FV）に関するエッセイから着想を得ており、開発者は複雑な検証タスクをAIに依頼し、その結果をオンチェーンで検証可能な形で受け取ることができます。主にSolvrエコシステム内で動作し、形式検証のワークフローを効率化します。
npx skills add basedcryptoji/solvr-aeon-skillInstalled? Explore more コーディング＆開発 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Solvr向けAEONスキルパック — ライブオンチェーンインテルに基づいた、AI支援による形式検証ワークオーダー。VitalikのFVエッセイから着想を得ています。
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.