Solo entry by John Khan for the AMD AI League. RepoMedic is a multi agent system that reads a code repository, finds real defects, writes fixes and proves them with tests.