smart_contract_audit_pro.agent