In addition to the standard model editor there are editors and viewers for specific purposes:
This is a simple viewer that shows how to access the AMALTHEA trace database.
Further (graphical) editors / viewers are under development