veriframe
TypeScript
★ 4
updated 2mo ago
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.
No plain-English explanation yet — one is being written right now. Check back in a minute.