{"data":{"slug":"qwed-ai-qwed-verification","name":"qwed-verification","tagline":"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","github_url":"https://github.com/QWED-AI/qwed-verification","owner":"QWED-AI","repo":"qwed-verification","owner_avatar_url":"https://avatars.githubusercontent.com/u/250389197?v=4","primary_language":"Python","stars":58,"forks":11,"topics":["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"],"archived":false,"github_pushed_at":"2026-07-09T21:32:47+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/qwed-ai-qwed-verification","markdown_url":"https://www.graphcanon.com/tools/qwed-ai-qwed-verification.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/qwed-ai-qwed-verification","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=qwed-ai-qwed-verification","description":"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.","homepage_url":"https://docs.qwedai.com/","license":"Apache-2.0","open_issues":20,"watchers":1,"ai_summary":null,"readme_excerpt":"## 🔐 Ecosystem Trust & Infrastructure\n\nQWED is supported by leading open-source infrastructure and security ecosystems, ensuring production-grade reliability for AI verification workloads.\n\n---\n\n### Docker\n```bash\ndocker pull qwedai/qwed-verification\n```\n\n---\n\n# Clone and install in development mode\ngit clone https://github.com/QWED-AI/qwed-verification.git\ncd qwed-verification\npip install -e \".[dev]\"\n```\n\n---\n\n## 📄 License\n\nApache 2.0 - See [LICENSE](LICENSE)\n\n---","github_created_at":"2025-12-13T06:07:56+00:00","created_at":"2026-07-11T23:14:58.310963+00:00","updated_at":"2026-07-11T23:15:21.248162+00:00","categories":[{"slug":"ai-agents","name":"AI Agents","url":"https://www.graphcanon.com/categories/ai-agents","markdown_url":"https://www.graphcanon.com/categories/ai-agents.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/ai-agents"},{"slug":"computer-vision","name":"Computer Vision","url":"https://www.graphcanon.com/categories/computer-vision","markdown_url":"https://www.graphcanon.com/categories/computer-vision.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/computer-vision"},{"slug":"llm-frameworks","name":"LLM Frameworks","url":"https://www.graphcanon.com/categories/llm-frameworks","markdown_url":"https://www.graphcanon.com/categories/llm-frameworks.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/llm-frameworks"}],"tags":[{"slug":"ai-accuracy","name":"ai-accuracy"},{"slug":"ai-safety","name":"ai-safety"},{"slug":"ai-security","name":"ai-security"},{"slug":"code-security","name":"code-security"},{"slug":"deterministic-ai","name":"deterministic-ai"},{"slug":"deterministic-verification","name":"deterministic-verification"},{"slug":"deterministic-verification-layer","name":"deterministic-verification-layer"},{"slug":"enterprise-ai","name":"enterprise-ai"}],"trust":{"provenance":{"is_fork":false,"github_id":1115581942,"owner_type":"Organization","methodology":"github_public_v1","parent_repo":null,"near_duplicate_slugs":[]},"computed_at":"2026-07-11T23:15:02.792Z","maintenance":{"label":"Very active","score":96,"methodology":"github_public_v1","releases_90d":4,"days_since_push":2,"last_release_at":"2026-06-19T03:26:04Z"},"security_summary":{"status":"no_lockfile","scanner":null,"low_count":0,"high_count":0,"last_scan_at":"2026-07-11T23:15:03.290Z","medium_count":0,"scan_profile":"none","critical_count":0}},"capability_facts":{"scan":{"source":"repo_scan","observed_at":"2026-07-11T23:15:02.503Z"},"deploy":{"source":"dockerfile:Dockerfile","self_host":true,"observed_at":"2026-07-11T23:15:02.503Z","managed_saas":false},"has_cli":{"value":true,"source":"pyproject.toml:[project.scripts]","observed_at":"2026-07-11T23:15:02.503Z"},"languages":{"value":["python"],"source":"github.language+pyproject.toml","observed_at":"2026-07-11T23:15:02.503Z"},"has_docker":{"value":true,"source":"dockerfile:Dockerfile","observed_at":"2026-07-11T23:15:02.503Z"},"license_spdx":{"value":"Apache-2.0","source":"github.license","observed_at":"2026-07-11T23:15:02.503Z"}}}}