新しいスキルの作成、既存のスキルの編集、またはデプロイ前のスキルの動作確認時に使用します。これは、作成前にサブエージェントでテストを行い、合理的な正当化に対して完全に無防備になるまで反復することによって、プロセス文書にTDDを適用します。
複雑な設定不要で、ワークフローに素早く統合
アクティブなオープンソースコミュニティによる継続的な更新
MIT/Apacheライセンスで商用・個人利用可
ニーズに応じてカスタマイズ・拡張可能
ソースリポジトリからスキルファイルをダウンロードまたはコピー
スキルファイルをClaudeのスキルディレクトリに配置（通常は ~/.claude/skills/）。
Claudeを再起動するか、リロードコマンドを実行してスキルを読み込みます
ヒント： 初回使用前にスキルのドキュメントとコードを注意深く読み、機能と権限要件を理解してください
すべてのスキルはオープンソースコミュニティから提供され、元の作者の著作権を保持しています
obra__superpowers/skills/writing-skills/SKILL.md実証済みのメリットと測定可能な影響
形式的検証でデプロイ前に脆弱性を特定
証明チェックを自動化し、セキュリティレビューを高速化
すべてのクリティカルパスに正式な仕様があることを確認してください
これらのシナリオに最適
形式手法を用いて Move コントラクトの正当性を自動検証する
形式的仕様を記述して、クリティカルなバグを早期に発見
複雑なDeFiプロトコルのグローバル不変性を証明する
専門家のガイダンスで失敗した Move Prover の証明を修正