Deterministic Verification Python Packages

qwed

Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.

qwed-legal

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

sovereign-mcp

Deterministic MCP Security Architecture. FrozenNamespace as Root of Trust for Model Context Protocol tool verification

evidencebound-core

Framework-agnostic runtime for evidence-bound AI agents: provenance, executable policy, deterministic verification, blast-radius analysis and fail-closed selective recovery.

qwed-mcp

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

logicshield

Deterministic validation firewall that verifies AI-generated proposals against ground-truth state using immutable rules. Zero dependencies.

qwed-ucp

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

geotask-core

GeoTask — 面向 AI Agent 的时空任务上下文引擎 | Spatiotemporal Task Context Engine for AI agents.