Solarkraft is a tool for runtime monitoring of Soroban smart contracts, ensuring they conform to their specifications during development, testing, and deployment on the Stellar blockchain. It uses TLA+ specifications to monitor contract behavior and reports deviations as alerts.
