prompt-optimizer vs mira

Compare prompt-optimizer and mira using verifiable public signals, licensing and project quality.