Contract checks can be built without a generative model: Isaacus releases the code

An open code example using Isaacus models finds contradictions and missing clauses, with an LLM brought in for explanations and edits.