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 4

🏛️ 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 Oct 1, 2026
  • Python
qwed-ucp

QWED-AI / qwed-ucp

Sponsor
Star 1

Verification for Universal Commerce Protocol (UCP) transactions — Deterministic verification layer for UCP checkouts: catches math, state, and schema errors before payment.

ucp express-middleware attestation python-package transaction-verification fastapi-middleware ai-verification ai-commerce llm-verification qwed-ai universal-commerce-protocol commerce-verification checkout-verification deterministic-verification qwed
  • Updated Oct 1, 2026
  • Python
qwed-mcp

QWED-AI / qwed-mcp

Sponsor
Star 0

Deterministic verification gateway for MCP — risk-gated Python execution in a restricted environment, math/logic/code/SQL verification engines, and skill supply-chain provenance guard

python mcp z3 sympy formal-verification ai-safety zero-trust code-security supply-chain-security ai-governance llm-security agentic-ai model-context-protocol mcp-server qwed-ai deterministic-verification qwed tool-call-verification skill-provenance
  • Updated Oct 1, 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 Oct 1, 2026
  • MDX

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