Please see the MITgcm development server which includes:

Our search engine currently indexes most of the mitgcm.org and dev.mitgcm.org web pages.