Solarkraft
Solarkraft is a runtime monitoring tool for Stellar Soroban, powered by TLA+ and Apalache. We have finished the activation phase (call 24) at Stellar Community Fund and continue with phase 1 (call 29). See the Project page at SCF.
See a demo by Jure Kukovec:
We are grateful to the Stellar Community Fund for supporting our project via the Activation Award. Check our 3-minute pitch. If it has caught your attention, read the SCF24 Application.