The Model Proposes, the Engines Dispose

LLMs are great at sounding right and bad at being checked. Ask one to solve a math puzzle and you get a confident wall of prose — some of it true, some of it plausible, none of it load-bearing. The usual fix is to prompt harder. Veriframe takes the opposite route: it treats the model like code and wraps it in a harness.The one-line version: veriframe is an OpenAI-compatible HTTP server that takes a problem, runs the model through a verification loop, and refuses to return an answer until every claim in it has been confirmed by a formal engine — Prolog, Z3, Lean, or Octave — and the harness has checked that what the engine confirmed is actually what the answer claims. Nothing the model asserts ships unless an engine earned it. The server is written in Jolt, a Clojure dialect on Chez Scheme, and it's a deliberate port rather than a transliteration: the verification architecture was kept, and the control layer was rebuilt around a catalog of ways models fake progress.Four engines, four…