Solarkraft

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

The project is in the boostrapping phase now. Preparing for Warp 5.

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.