Contract Auditor

DFS-based multi-agent Solidity audit with adversarial validation