Solarkraft is a runtime monitoring tool for Stellar Soroban, powered by TLA+ and Apalache.

We have finished the activation phase and developed an MVP. 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.