A new MMT-Plugin for the IntelliJ IDE has been released, adding usual IDE-functionality (syntax highlighting, cross referencing, project management etc.) for MMT to the IDE.

Documentation and sources available here