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

roofloor1 pts0 comments

Vera — Risk Assessment Reports<br>Risk Assessment Reports<br>DeFi smart-contract risk assessments generated by Vera.<br>APYX

Generated:Jun 3, 2026<br>Chains:ethereumbase

Contracts analyzed: 0

Ethena

Generated:May 6, 2026<br>Chains:ethereum

Contracts analyzed: 22

EtherFi

Generated:May 29, 2026<br>Chains:ethereum

Contracts analyzed: 48

infiniFi

Generated:May 6, 2026<br>Chains:ethereum

Contracts analyzed: 45

Morpho Blue stUSDS/USDC

Generated:May 21, 2026<br>Chains:ethereum

Contracts analyzed: 13

Reservoir

Generated:May 8, 2026<br>Chains:ethereum

Contracts analyzed: 23

Rocket Pool

Generated:May 19, 2026<br>Chains:ethereum

Contracts analyzed: 37

Sera

Generated:May 12, 2026<br>Chains:ethereum

Contracts analyzed: 18

Spark

Generated:May 8, 2026<br>Chains:ethereum

Contracts analyzed: 58

SPDR S&P 500 ETF (SPYon by Ondo Finance)

Generated:Jun 5, 2026<br>Chains:ethereumbsc

Contracts analyzed: 55

Wrapped Bitcoin

Generated:May 29, 2026<br>Chains:ethereum

Contracts analyzed: 7

Wrapped Ether

Generated:May 29, 2026<br>Chains:ethereum

Contracts analyzed: 1

Wildcat / Wintermute Trading USD Coin

Generated:May 25, 2026<br>Chains:ethereum

Contracts analyzed: 11

contracts generated chains analyzed ethereum vera

Related Articles