copilotverify with examples - Search