Solarkraft is a runtime monitoring tool for Stellar Soroban, powered by TLA+ and the symbolic model-checker (a reasoning engine) Apalache.

The project is in currently in its bootstrapping phase. Preparing for Warp 5! 🚀

We are grateful to the Stellar Community Fund for supporting our project via a generous Activation Award. Check our 3-minute pitch:

If it has caught your attention, and you want to know more, reach out!


New! We have a series of blog posts dedicated to Solarkraft! Start reading: