What if a tool could not just find attacks in cryptographic protocols — but fix them automatically?