The project is a semantic parser for Lojban that emits Lean. The specific task was to add the ability to go in reverse - from (a subset of) Lean back to Lojban. So the bot had a corpus of something like 25K test cases that it had to make roundtrip, and instructions to keep going until the test suite is green.