QWED-AI

QWED is an open-source deterministic verification layer for AI. We treat LLMs as untrusted translators and verify their outputs (Math, SQL, Logic, Code) using symbolic engines like SymPy and Z3 before execution. We're building a decentralized verification network with cryptographic attestations.