自律型エージェントはDeFiでライブです。 彼らは、最小限の監視でプロトコルを割り当て、再調整し、実行します。Spearbitは、静的解析では明らかにできない挙動を表面化させる圧力の下で、これらのシステムを評価します。詳細は以下をご覧ください。

推論駆動型ロジックは、市場データ、プロトコルの状態、およびユーザー入力に応答します。エンフォースメント境界がないと、エージェントは、不正な形式のプロンプト、未検証の仮定、または敵対的なコンテキストに基づいてトランザクションをトリガーできます。

プロンプトインジェクション、出力検証、フォールバック動作のエッジ条件をシミュレートします。レビューでは、実行意図を確認し、権限を追跡し、ライブシステムが設計から逸脱する場所を明らかにします。