Detects race conditions and concurrency bugs in your code by analyzing shared state access, async timing, and thread safety, then generates thread-safe fixes with verification tests.