Haha, it's because I used to work on Manifold Markets!

Codebuff was originally called Manicode. We just renamed it this week actually.

There was meant to be a universe of "Mani" products. My other cofounder made Manifund, and there's a conference we made called Manifest!

but that doesn’t answer the question? are these test files?

Oh, it was a tool call I originally implemented so that Codebuff could look up the probabilities of markets to help it answer user questions.

I thought it would be fun if you asked it about the chance of the election or maybe something about AI capabilities, it could back up the answer by citing a prediction market.

Why not simply remove that dependency now?

Cruft that built up over time But you make a good point, I'll write a ticket to remove it soon.

Codebuff waiting in the wings to implement.

Thanks!

Cause they wrote codebuff using codebuff.

They came out of Manifold. Though I acknowledge that doesn't really answer your question.