105 dynamical-system certification problems for stability, region of attraction, forward invariance, and safety. Dataset accompanying LLM2Cert.