SDCP: an open protocol for checking AI research agents' discovery claims | Manifund