Автономні агенти працюють у DeFi. Вони розподіляють, перебалансовують і виконують різні протоколи з мінімальним контролем. Спірбіт оцінює ці системи під тиском до поверхневої поведінки, яку статичний аналіз виявити не може. Подробиці нижче.

Логіка, заснована на висновках, реагує на ринкові дані, стан протоколу та введення користувача. Не маючи меж примусового виконання, агенти можуть ініціювати транзакції на основі неправильно сформованих підказок, неперевірених припущень або змагального контексту.

Ми моделюємо граничні умови за допомогою швидкої ін'єкції, перевірки виводу та резервної поведінки. Огляди підтверджують намір виконання, відстежують авторитет і викривають, де живі системи порушують дизайн.