Open Source
QWED
AISecOps (AI Security Operations) framework for deterministic verification of AI systems.
Our verdict
We have not reviewed QWED yet
No one at Enterprise DNA has checked this listing against its sources. The description comes from public listings gathered automatically. Any fact below shows where it came from and when it was last checked.
From the listing
About QWED
QWED is an open-source Python framework for deterministic verification of AI systems, focusing on LLM outputs. It uses math, logic, and symbolic execution to create an auditable trust boundary for agentic AI, enabling security operations teams to verify rather than generate.
Best for
Security engineers and researchers needing formal verification of AI system outputs
Use cases
- Auditing LLM outputs for compliance with formal specifications
- Verifying agentic AI decisions in security-critical workflows
- Building deterministic guardrails for AI-powered automation
Notes
57 stars on GitHub. Last updated 2026-06-01. Licensed Apache-2.0.
Pros
- Provides mathematically rigorous verification, not probabilistic checks
- Open-source with a community-driven development model
- Creates auditable trust boundaries for agentic systems
Cons
- Limited to deterministic verification, not suitable for all AI tasks
- Small community (57 stars) may mean fewer integrations or support
- Requires understanding of symbolic execution and formal methods
Key facts
What we have checked
- Days since the last commit
- 0
- GitHub forks
- 15
- GitHub stars
- 64
- Open issues
- 60
- Releases in the last 90 days
- 8
Each value shows when we last confirmed it and where it came from. Values we have not confirmed are left out, never guessed.
Stars and usage
How QWED is growing
57 to 64
Health and security
Is QWED looked after, and what do its setup files show
Health score
100 out of 100
| Part | Points | What we saw |
|---|---|---|
| Recent activity | 30 of 30 | Last push 0 days ago |
| Releases | 15 of 15 | 8 releases in 90 days |
| Issue replies | Not counted | The latest check has no issue response reading (fewer than 3 measured issues, or issues switched off) |
| Maintainer | 15 of 15 | Owned by an organisation |
| Official source | Not counted | MCP servers only |
Sources
Where this comes from
- GitHubRegistry
A source shows what was published when we checked it. It does not certify security, performance or a working installation. Read our method.
Changelog
What changed
No changes recorded yet. Releases, price changes and deprecations appear here, with their dates, once we track them for this record.
Pairs with
Other entries in the index that connect to this one. Click through to see the chain.
LangChain
Various
LangChain provides the engineering platform and open source frameworks developers use to build, test, and deploy reliable AI agents.
LiteLLM
BerriAI
A Python SDK and a self-hosted proxy, the LiteLLM AI Gateway, that let apps call more than 100 model providers through one OpenAI-format API, with virtual keys, budgets, fallbacks and spend tracking.
vLLM
Community
A high-throughput and memory-efficient inference and serving engine for LLMs
Get the free Developer’s Field Guide
A 27-page field guide to the AI coding workflow with Claude. Claude Code, MCP servers, the prompt patterns that work, and what to delegate. Free.
Enter your work email. We send it straight over, plus a few short notes worth knowing. Unsubscribe any time.