prover-query initial version