PyRank

Deterministic Verification Python Packages

Python packages with the GitHub topic deterministic-verification. Sorted by relevance, with stars and monthly downloads.
QWED-AI
qwed

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

2K 58 10
QWED-AI
qwed-mcp

Deterministic verification via MCP - Sandboxed Python execution for math, logic, code, and SQL verification

533 0 1
mattijsmoens
sovereign-mcp

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

462 3 4
QWED-AI
qwed-ucp

Verification for Universal Commerce Protocol (UCP) transactions - Catch AI math errors before payment

276 0 1
QWED-AI
qwed-legal

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

256 3 3
mattijsmoens
logicshield

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

221 3 0