自主代理在去中心化金融（DeFi）中運行。 它們在最小監督下進行資產配置、再平衡和跨協議執行。Spearbit 在壓力下評估這些系統，以揭示靜態分析無法顯示的行為。詳情如下。

推理驅動的邏輯會根據市場數據、協議狀態和用戶輸入作出反應。若沒有執行邊界，代理可以根據格式錯誤的提示、未經驗證的假設或對抗性上下文觸發交易。

我們模擬了提示注入、輸出驗證和回退行為的邊緣條件。評審確認執行意圖、追蹤權限，並揭示現有系統在哪裡偏離設計。