Towards verifications of Krylov complexity | Synapse