Komet
Live
Tooling
Security
About Komet
Runtime Verification's formal-verification tool for Soroban smart contracts (K framework).
Links & Resources
Stellar Community Fund
This project received funding from the SCF
Funded Rounds
2830
Runtime Verification's formal-verification tool for Soroban smart contracts (K framework).
This project received funding from the SCF
Funded Rounds