Heimdallr: An efficient and low-cost agent framework for Ethereum smart contract auditing

Heimdallr is an automated auditing agent framework for Ethereum smart contracts that detects vulnerabilities and eliminates false positives through function-level code reorganization, heuristic reasoning, and cascading verification, and runs on lightweight open-source models such as GPToss-120B. It reproduced 17 of 20 real attacks after June 2025 with cumulative losses of $384M, discovered 4 confirmed zero-day vulnerabilities, protected $400M TVL, and achieved a 92.45% detection rate in audit competitions at a cost of only $2.31/10K LOC.