Show HN: Vera – open-source tool to self-audit smart contracts with AI

(vera.apostro.xyz) by roofloor | Jun 11, 2026 | 0 comments on HN