Ease of use

[lakesare]

Hi Riyaz!

Suppose I want to use ImProver on these changes fpvandoorn/carleson#176.
Suppose I'm not interested in evaluations and benchmarks, I just want my code refactored.

Do you plan to turn this repo into 1. a Lean library that one can install in their project 2. a separate run-by-you remote api server?
Then I could call some command, say #parse limited_scale_impact OPENAI_API_KEY, which would make use of my already-built Lean project; parse the InfoTrees; send the api request with the necessary information to some remote server with python/ml mode already installed; and, finally, show me the output - refactored code.