A multi-step reasoning agent that scans prediction markets, forms independent forecasts, and trades the edges it finds.