yogthos/veriframe

An OpenAI-compatible bridge that anchors LLM reasoning in logical reality by using Z3 to incrementally verify, self-correct, and prove the uniqueness of SMT-encoded solutions.

语言：Clojure · GitHub 星标：15 · Fork：1

在 GitHub 上查看原仓库