Once a day github action will check failing property-based tests and run claude agent to try fix those failing cases and prepare PR with fix