MAngband

I see a very useful bot in the freenode #mangband irc channel. The "mangband" bot. Is the source of this bot available anywhere? If not, any chance I could get a copy to run something similar for my mangband server?