Build a proof plan with Anshira's agent