I would like to invite you to the demo of mops (MPS OPerationS), a command-line tool for working with MPS projects. As I have mentioned a few times, I believe that a command-line tool is more versatile than an MCP server, and I have tried to design mops to be useful not only to agents but also to humans.

In the demo I will show how mops works, how it can be used by agents and humans, and where I would like to take it. There will also be time to answer your questions.

The demo will take place in the usual MPS Office Hours Google Meet on Thursday, July 16th, at 14:30 CEST. The meeting will be recorded.