新しいスキルの作成、既存のスキルの編集、またはデプロイ前のスキルの動作確認時に使用します。これは、作成前にサブエージェントでテストを行い、合理的な正当化に対して完全に無防備になるまで反復することによって、プロセス文書にTDDを適用します。
あなたが手に入れるもの
これらのシナリオに最適
形式手法を用いて Move コントラクトの正当性を自動検証する
形式的仕様を記述して、クリティカルなバグを早期に発見
複雑なDeFiプロトコルのグローバル不変性を証明する
専門家のガイダンスで失敗した Move Prover の証明を修正
測定された効果
実証済みのメリットと測定可能な影響
形式的検証でデプロイ前に脆弱性を特定
証明チェックを自動化し、セキュリティレビューを高速化
すべてのクリティカルパスに正式な仕様があることを確認してください
装備内容
ファイル・タグ・3ステップのインストール
ヒント: 初回使用の前にドキュメントとコードを読み、機能と必要な権限を確認してください。
次のスクリプト
タグとカテゴリーに基づくおすすめ
Claude Codeエージェント生成システムは、実績のあるプロダクションパターンに従い、強化されたYAMLフロントマター、ツールアクセスパターン、およびMCP統合サポートを備えたカスタムエージェントとサブエージェントを作成するシステムです。
Anthropic Claude API、モデル、プロンプトエンジニアリング、関数呼び出し、ビジョン、およびベストプラクティスの専門家。anthropic、claude、api、prompt、function calling、vision、messages api、embeddings でトリガーされます。