Verity (@Veritylab) / X

Verity
@Veritylab
13h
We've been banned by @OpenAI three times to benchmark GPT 5.6 Sol against the most popular Solidity Audit Skills 1. GPT + @cyfrin Skills - 16/35 -vulnerabilities found 2. Raw GPT 5.6 Sol - 12/35 vulnerabilities found 3. GPT + @pashov Skills - 12/35 vulnerabilities found 4. GPT
pashov
@pashov
Mar 4
🚨Ethereum Developers: you can now install your first AI Auditor in 1 minute - fully autonomous, available 24/7, with multiple sub-agent helpers. Open Source. FREE to use (with your AI model) and already finding vulnerabilities in smart contracts. Link below🫡
Verity
@Veritylab
Aug 11
We've formally verified @unlink_xyz This engagement uncovered 11 scored findings and 4 core guarantees verified.
Formal Verification for Private Onchain Payments
From veritylabs.dev
Verity
@Veritylab
Aug 7
As part of our research with @Superfluid_HQ , we formally verified a core streaming rule of the protocol veritylabs.dev/research/super…
00:00