Hello from MCP server
List Files
|
Just Commands
|
Repo
|
Logs
..
directory.tla