Thank you, very interesting.

I found a copy of the PDF describing the implementation of GOAL we used in the project. It seems quite similar to what you linked here.

https://multiagentcontest.org/publications/AppliedGOAL.pdf

EDIT: Aha! You have linked it already! Wonderful :) This was written by the professor who organized the CTF thing.

The website hosting it, I am not familiar with, but also seems very interesting:

https://multiagentcontest.org/