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
Last Activity
2 weeks ago
August 20, 2026
Open Issues
6
Across 2 repositories
Total Stars
36
GitHub community engagement
Repositories
2 repositories linked to this project