Komet
Live
Tooling
Security
About Komet
Runtime Verification's formal-verification tool for Soroban smart contracts (K framework).
Visit KometLinks & Resources
Stellar Community Fund
This project received funding from the SCF
Last Activity
1 months ago
August 20, 2026
Open Issues
6
Across 2 repositories
Total Stars
42
GitHub community engagement
Repositories
2 repositories linked to this project