This is a reusable framework for writing LLM-powered applications that iterate using various client side tools to help the LLM complete a task. It is used by Certora's Concordance and AI Composer (among others). It is also currently deeply undocumented.