This seems like a great initiative for a couple reasons:

• A lot of potential to bring new users to the site, if the markets get posted in the comments of the originals.

• Making Manifold more accurate in the long run: If some people trade based on the most accurate numbers from other platforms, Manifold will gravitate towards the better numbers as mana flows towards them.

Of the various Manifold Community Fund projects, I thought this one was the best for its valuation. Isaac has a good track record of creating cool things for manifold in the form of Manifold Search. The iterated prisoners dilemma tournament seemed pretty successful, and like it could be a good draw for new users to the site.

What language is the bot written in?