Their MapBox.js library is a plugin for the increasingly popular Leaflet.js mapping library: http://mapbox.com/mapbox.js/api/v1.0.2/

As an aside, MapBox (via funding from the Knight Foundation) is also behind the shiny new iD Editor for OpenStreetMap: http://ideditor.com/