QWED-AI

QWED is open-source runtime verification for AI output and agent actions. It checks the numbers, SQL, code and tool calls an AI produces with solvers and parsers before anything runs. Proven results are admitted, everything else is denied by default, and every decision leaves a record you can review.