Thanks to visit codestin.com
Credit goes to github.com

Skip to content
#

qwed

Star

Here are 6 public repositories matching this topic...

Language: All
Filter by language
All 6 Python 5 MDX 1
qwed-legal

QWED-AI / qwed-legal

Sponsor
Star 3

🏛️ Deterministic rejection layer for computational legal claims. Verifies dates, amounts, and structured constraints; blocks unproven legal outputs.

python typescript compliance contracts jurisdictions deadlines z3-smt-solver computational-law legal-ai liability llm-safety fail-closed citation-validation deterministic-verification qwed legal-guardrails legal-verification rejection-layer statute-of-limitations clause-checking
  • Updated Jun 12, 2026
  • Python
docs

QWED-AI / docs

Sponsor
Star 0

Documentation and architecture hub for the QWED deterministic AI verification ecosystem. Guides, security boundaries, verification semantics, fail-closed policies, and integration workflows for QWED infrastructure and guards.

infrastructure verification symbolic-execution z3 formal-verification security-engineering goverance ai-security llm-security ai-verification auditability agent-security fail-closed deterministic-ai qwed-ai qwed qwed-verification
  • Updated Jul 9, 2026
  • MDX

Improve this page

Add a description, image, and links to the qwed topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the qwed topic, visit your repo's landing page and select "manage topics."

Learn more