Open Geometry Prover Community Project