Open Issues Need Help
View All on GitHub enhancement good first issue
A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.
Python
#ai-accuracy#ai-safety#ai-security#code-security#deterministic-ai#deterministic-verification#deterministic-verification-layer#enterprise-ai#formal-verification#hallucination#hallucination-detection#llm-safety#llm-verification#machine-learning#neurosymbolic-ai#nlp#python#smt-solver#sympy#z3-prover
documentation enhancement good first issue
A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.
Python
#ai-accuracy#ai-safety#ai-security#code-security#deterministic-ai#deterministic-verification#deterministic-verification-layer#enterprise-ai#formal-verification#hallucination#hallucination-detection#llm-safety#llm-verification#machine-learning#neurosymbolic-ai#nlp#python#smt-solver#sympy#z3-prover
Add bounded model checking for loop analysis 7 months ago
enhancement help wanted
A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.
Python
#ai-accuracy#ai-safety#ai-security#code-security#deterministic-ai#deterministic-verification#deterministic-verification-layer#enterprise-ai#formal-verification#hallucination#hallucination-detection#llm-safety#llm-verification#machine-learning#neurosymbolic-ai#nlp#python#smt-solver#sympy#z3-prover