mrcheckbib is a bibtex file verification tool using the AMS MRef database, 
it takes every entry in a bibtex file (.bib) and checks it against the 
database. If it finds a unique MRef entry, then your entry will be replaced 
by the MRef one.