TLDR: 
Where can one find documentation and/or guidance on hacking a local LEAN instance to execute SPX trades? 

Detail:
My top performing strategies are SPX option strategies, that I trade manually.

We don’t have SPX data on the platform so I can’t backtest my strategies, but I know they work so I’d like to automate them. Specifically, I’d like to write their logic in QuantConnect / LEAN, and deploy it to trade SPX options on IB (or Tradier or TD Ameritrade). 

We can’t do this with QuantConnect in the cloud because the IB-API won't understand the ‘SPX’ ticker. However, per a comment from Jared some years back, it might be possible to trade SPX from a local instance, with some hacking. 

Assuming so, where can one find documentation and/or guidance on hacking a local LEAN instance to execute SPX trades?