solana-skills は何をしますか？
Lean 4 を使用して Solana プログラムの形式検証を行います。Mistral の Leanstral モデルを搭載したエージェントスキルです。
Lean 4 を使用して Solana プログラムの形式検証を行います。Mistral の Leanstral モデルを搭載したエージェントスキルです。
QEDGen/solana-skills は、Solana プログラムの形式検証を Lean 4 証明を用いて行う AI エージェントスキルです。このスキルは、Mistral 社の Leanstral モデルを活用しており、開発者は Solana スマートコントラクトの安全性や正当性を数学的に証明することができます。形式検証は、バグや脆弱性を事前に防ぐための強力な手法であり、特に金融や DeFi などの重要なアプリケーションにおいて信頼性を高めます。このスキルは、Claude Code、Cursor、Codex などの AI エージェントと連携し、開発者がコードを分析しながら Lean 4 の証明を自動生成・検証できるように設計されています。QEDGen/solana-skills を使用することで、手動での証明作成の手間を大幅に削減し、より堅牢な Solana プログラムの開発が可能になります。
npx skills add QEDGen/solana-skillsInstalled? Explore more コーディング＆開発 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Lean 4 を使用して Solana プログラムの形式検証を行います。Mistral の Leanstral モデルを搭載したエージェントスキルです。
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.