{"data":{"slug":"qwed-ai-qwed-verification","name":"qwed-verification","tagline":"Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.","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":13,"topics":["ai-accuracy","ai-safety","ai-security","code-security","deterministic-ai","deterministic-verification","diagnostic-result","enterprise-ai","fail-closed","formal-verification","hallucination","hallucination-detection","llm-safety","llm-verification","machine-learning","python","smt-solver","sympy","verification-context","z3-prover"],"archived":false,"github_pushed_at":"2026-09-18T08:19:03+00:00","maintenance_label":"Very active","stars_delta_30d":1,"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":"Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.","homepage_url":"https://docs.qwedai.com/","license":"Apache-2.0","open_issues":44,"watchers":1,"ai_summary":"QWED-AI/qwed-verification is an open-source project that provides deterministic verification for AI outputs, tool calls, code, schemas, and agent state, ensuring reliability and safety before production execution.","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-09-20T04:30:20.192965+00:00","categories":[{"slug":"evaluation-observability","name":"Evaluation & Observability","url":"https://www.graphcanon.com/categories/evaluation-observability","markdown_url":"https://www.graphcanon.com/categories/evaluation-observability.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/evaluation-observability"},{"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":"diagnostic-result","name":"diagnostic-result"},{"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-09-18T08:22:41.072Z","maintenance":{"label":"Very active","score":96,"methodology":"github_public_v1","releases_90d":6,"days_since_push":0,"last_release_at":"2026-09-14T09:01:59Z","stars_delta_30d":1,"open_issues_delta_30d":18},"security_summary":{"status":"ok","scanner":"osv@v1","low_count":0,"high_count":0,"last_scan_at":"2026-09-18T08:22:43.264Z","medium_count":0,"scan_profile":"deps","critical_count":0}},"capability_facts":{"scan":{"source":"repo_scan","observed_at":"2026-09-18T08:22:39.530Z"},"deploy":{"source":"dockerfile:Dockerfile","self_host":true,"observed_at":"2026-09-18T08:22:39.530Z","managed_saas":false},"has_cli":{"value":true,"source":"pyproject.toml:[project.scripts]","observed_at":"2026-09-18T08:22:39.530Z"},"languages":{"value":["python"],"source":"github.language+pyproject.toml","observed_at":"2026-09-18T08:22:39.530Z"},"has_docker":{"value":true,"source":"dockerfile:Dockerfile","observed_at":"2026-09-18T08:22:39.530Z"},"license_spdx":{"value":"Apache-2.0","source":"github.license","observed_at":"2026-09-18T08:22:39.530Z"}},"decision_facts":{"hosting":null,"pricing":null,"requirements":{"notes":["Requires Docker for deployment.","Installation in development mode involves cloning the repository and using pip to install in editable mode."],"min_ram_gb":null,"requires_docker":true},"constraints":{"min_ram_gb":null,"requires_docker":true},"when_to_use":["When you need deterministic verification of AI outputs and tool calls to ensure reliability and safety before deploying to production.","If your project requires formal verification methods to detect and mitigate hallucinations in LLM outputs.","For enterprise AI projects that demand fail-closed mechanisms to prevent unsafe or unreliable AI behavior."],"when_not_to_use":["If your project does not require deterministic verification and can tolerate some level of uncertainty in AI outputs.","When you are working on a small-scale project where the overhead of formal verification and fail-closed mechanisms is not justified.","If your project is not compatible with Python or the specific libraries used by qwed-verification, such as sympy and z3-prover."],"source":"enrich:decision_facts","observed_at":"2026-09-18T11:20:25.298Z"},"constraint_facets":{"min_ram_gb":null,"requires_docker":true},"decision_summary":[{"label":"Requirements","value":"Requires Docker; Requires Docker for deployment.; Installation in development mode involves cloning the repository and using pip to install in editable mode."},{"label":"Adopt for","value":"qwed-verification is an open-source tool for deterministic verification of AI outputs, tool calls, code, schemas, and agent state, ensuring reliability and safety before production execution."},{"label":"License detail","value":"Apache-2.0"}]}}