Send a message to Instituto Prover