The magProof app gives a short introduction to the CAOS universe, and can be used to proofread issues in CAOS .