qwed-verification good first issues (Python)

[Feature]: Create CONTRIBUTING.md guide for new contributors 1 day ago

documentation enhancement good first issue

58

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

[Feature]: Dockerfile hardening — add LABEL metadata, HEALTHCHECK, and apt lists cleanup 1 day ago

enhancement good first issue

QWED-AI/qwed-verification

58

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

[Bug]: Missing .dockerignore — .git/, .env, .coverage, and test files leak into Docker image 1 day ago

bug good first issue

QWED-AI/qwed-verification

58

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

[Feature]: Add CrossHair integration for Python symbolic execution 4 months ago

enhancement good first issue

QWED-AI/qwed-verification

58

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 10 months ago

enhancement help wanted

QWED-AI/qwed-verification

58

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

QWED-AI/qwed-verification

Open Issues Need Help