Security●●Solid
I built a smart contract scanner and ran it vs. the $197M Euler exploit
Eight sequential verification gates with binary PASS/VIOLATION verdicts, no severity hedging.
Niche GemShip It
URS_Adherent
213mo ago
Back to browse
Vera – open-source tool to self-audit smart contracts with AI
by roofloor·Jun 11, 2026·1 point·0 comments
AI Analysis
●MidBold Bet
AI-generated security audits with disclaimers admitting reports likely contain hallucinations.
Strengths
- •Automated report generation covers multiple chains including Ethereum, Base, and BSC.
- •Public report archive lets users browse assessments for major protocols like Ethena and Rocket Pool.
Weaknesses
- •Disclaimer admits security audit analysis is not well-developed and highly likely inaccurate.
- •LLM hallucinations in security context could create false confidence in unaudited protocols.
Category
Target Audience
DeFi investors, crypto analysts, smart contract auditors
Similar To
CertiK · OpenZeppelin Defender · Mythril
Similar Projects
Developer Tools●●Solid
Blocktools – a Rust-powered suite for the smart contract lifecycle
Record command turns manual testing sessions into Foundry test scripts automatically.
SlickSolve My Problem
wazzaaaa
202mo ago
Finance●●Solid
Making missed workouts cost money with Android TEE and smart contracts
Permissionless enforcement + charity splits make cheating expensive, but it's a blog post about one person's experiment.
Big BrainRabbit Hole
the42thdoctor
213mo ago
SaaS●●Solid
ClauseGuard – AI contract review in 90s, finds risks, writes redlines
AI contract review that drafts negotiation responses in three tones.
SlickSolve My Problem
ebuyan
102mo ago
SaaS●●Solid
ClauseWize – Upload a contract, get risk score and negotiation language
Specific counter-language generation beats generic risk summaries.
Solve My ProblemSlick
pratikdoshi01
102mo ago
Developer Tools●●●Banger
Verity, Formally verified smart contracts from spec to bytecode
Formally verified EVM bytecode with zero sorries—actually ships working proofs.
WizardryBig BrainZero to One
th0rgal2
103mo ago