CARD: Interface for Mapping Geometric Certificates to Robotic Actions | HACKOBAR_