Open-source AI agent workflow for auditing Solidity smart contracts · HackerLangs