infinite harness problem

[bkutasi]

I dont want to kill your motivation to build your project but this whole thing could be an opencode plugin with the already existing lean-ctx codebase. I cant see the appeal besides first class integration of leanctx?