The code in the github repo doesn't actually give bots access to each other's source, just the ability to run each other.
It's also lacking handling for bots that run forever.
Thanks for the feedback. I agree on both points; I will probably change the wording to what you suggested.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one.
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.