Do you have the trace with the posterior samples? If so you can use numpy for simple stats
np.mean(trace['beta_1']>1.3)