A draft of the CMC documentation as a math paper can be found at main.pdf. The official repository of the CMC project can be found at https://github.com/kipiberbatov/cmc .