SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
Abstract
We present SPEAR, a multi-agent coordination framework for smart contract auditing that applies established MAS patterns in a realistic security analysis workflow. SPEAR models auditing as a coordinated mission carried out by specialized agents: a Planning Agent prioritizes contracts using risk-aware heuristics, an Execution Agent allocates tasks via the Contract Net protocol, and a Repair Agent autonomously recovers from brittle generated artifacts using a programmatic-first repair policy. Agents maintain local beliefs updated through AGM-compliant revision, coordinate via negotiation and auction protocols, and revise plans as new information becomes available. An empirical study compares the multi-agent design with centralized and pipeline-based alternatives under controlled failure scenarios, focusing on coordination, recovery behavior, and resource use.
Keywords
Cite
@article{arxiv.2602.04418,
title = {SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing},
author = {Indraveni Chebolu and Arnab Mallick and Harmesh Rana},
journal= {arXiv preprint arXiv:2602.04418},
year = {2026}
}
Comments
Accepted at 14th International Workshop on Engineering Multi-Agent Systems(EMAS @ AAMAS)