Some may be reminded of the Magi supercomputers in NERV, but here's a mnemonic inspired by the precogs in Minority Report:

1) helpful prover : the good twin

2) sneaky prover : the evil twin

3) verifier : the foster sister