What can the Sui Prover, developed by Asymptotic, verify?
Financial invariants (e.g., balance = assets - liabilities)
Arithmetic safety (no more overflows/underflows)
Access control (proper use of caps)
State machine transitions (create a clear model of your code)
Abort conditions (don’t be left holding the bag)
and catch many more bugs, before deployment!
Seal
Sui Name Service
M0
Takibi
Parasol
Talus
ZAN
WELLDONE Code
Web3 Lab
Web3Auth
Walrus
Versal
Var Meta
ValStat
Triton One
Thaw Digital
Switchboard
SupraOracles
Sui YOLO Bot
Sui Validator Bot
Suitears
Suite
Sui Notifier Bot
Sui Move GPT
SUI-Kit
SuiGPT
Sui Extension
SUI Desci Agents
Sui DePIN
Sui Dart SDK
Sui dApp Starter
SuiCraft
Sui Coins
Sui Bulksender
SuiBridgeBot
Sui Base
SuibaBot
Streamflow
Stork
Spritz Finance
Splash Dash
Spheron
SimpleHash
Sidekick
Shio
Shinami
Scaf
S3 Money
RINbot
Reclaim Protocol
Pyth Network
PySui
PTB Studio
POS25
Polymedia zkSend
Polymedia Commando
PocketPay
Pawtato Finance
OriginByte
Onramp Money
Ondo Finance
OKLink
Notifi
NodeReal
Nodeinfra
Nightly Connect
MultiSender
Move Studio IDE
MoveFlow
MoonPay
Mesh
Mentaport
Kuna Labs
Kiosk Indexer
Karrier One
KarmaPi
Kado
InfStones
Indexer
Ika
Hamster
Halliday
GetBlock
First Digital Labs
dddappp
Cleevio
Chirp
Chainode Tech
ChainIDE
Chainbase
BlockVision
Blockus
BlockEden.xyz
BlockBolt
BitsLab IDE
Awesome Sui
Atoma
Ankr
All That Node
Allnodes
Alchemy Pay
Agora
1RPC
0xobelisk
Privy
Flashback
account.tech
OpenDive
Dynamic
Zark Lab
Smithii Tools
Token Toolbox
Dubhe Engine
Venly
PTB Hub
IVAN AI
RedStone
SP1
buidly
ZettaBlock
Hyvve
Liquify
Sui RSS
Blueprint
OpenGraph
Mitsui Protocol
Pelagos AI
Home
Sui Academy
Research
Ecosystem
Airdrops & TGEs
About us
