Giving LLMs a Formal Reasoning Engine for Code Analysis

Project source is here: https://github.com/yogthos/chiasmus