solana-skills は何をしますか？
.qedspecファイルでSolanaプログラムの保証を定義し、QEDGenを使用してメインネットへのデプロイ前に仕様の検証とバグの発見を行います。
.qedspecファイルでSolanaプログラムの保証を定義し、QEDGenを使用してメインネットへのデプロイ前に仕様の検証とバグの発見を行います。
このスキルは、Solanaプログラム開発において形式的検証を活用してコードの正しさを保証するためのものです。開発者は.qedspecファイルにプログラムの不変条件（invariants）や成立すべき特性を記述し、QEDGenを用いてそれらの仕様を自動検証します。これにより、テストでは発見しにくいロジックエラーやセキュリティ上の欠陥を、メインネットデプロイ前に検出することが可能になります。主にSolanaのアンカー対応プログラムやネイティブプログラムを対象とし、Rustの表現力を使って複雑な状態やトランザクションの正しさを形式的に証明します。
npx skills add beardedwheatgrasswalkupapartment951/solana-skills.qedspecファイルでSolanaプログラムの保証を定義し、QEDGenを使用してメインネットへのデプロイ前に仕様の検証とバグの発見を行います。
ElevenLabs text-to-speech with mac-style say UX.
Oracle CLI second-model review/debug/refactor/design with selected files, dry-run token checks, API or browser engine.
Capture and automate macOS UI with the Peekaboo CLI.
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".
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.
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".