I just put up a cleaned version of the framework used to build @Dagonet and @Galahad on GitHub: https://github.com/sketchy-manifold/sketchy-bot-framework

The framework is in Python. It (hopefully) makes it simpler to create a trading bot by providing a few features:

1. A Manifold API client that handles WebSocket connections and API requests.

2. Classes that abstract core Manifold concepts (Bet, Market, etc), and add a few helper functions

3. A strategy framework that allows you to define custom trading strategies.

4. A core event loop that runs the strategy logic and manages the WebSocket connection.

What it doesn't have is the actual implementation of the strategies! I removed those. I've kept some "qualifiers", the functions that help choose whether to bet on a market, to give a sense for how to use the data model in practice.

You can see a little more info on Dagonet in action at its website.

There's definitely some jankiness in this framework, I make no promises it's good or useful or not going to lose your all your mana in a crazy bug. But it'd be fun if people find it useful! Let me know if you build a bot with this.