#

deterministic-verification

Here are 7 public repositories matching this topic...

mattijsmoens / sovereign-mcp

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

python security mcp immutability input-sanitization ai-safety mtls ai-security deception-detection pii-detection supply-chain-security prompt-injection llm-security hallucination-detection model-context-protocol deterministic-verification tool-verification

Updated Mar 21, 2026
Python

mattijsmoens / logicshield

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

python machine-learning validation immutability fintech ai-safety safety-critical healthcare-ai llm hallucination-detection ai-firewall llm-validation deterministic-verification truth-sandwich

Updated Mar 31, 2026
Python

Born14 / verify

Catches unsafe database migrations before they hit production. Deterministic. No LLM in the check path.

sql postgresql ci-cd database-migrations code-quality prisma github-action deterministic-verification migration-safety

Updated Apr 18, 2026
TypeScript

sparckix / ztare

Zero-Trust Adversarial Reasoning Engine. Execution-only judge that catches LLM specification gaming. M-Form deterministic governance for recursive AI.

multi-agent-systems ai-safety zero-trust ai-alignment adversarial-robustness neurosymbolic trustworthy-ai ai-governance llm-evaluation recursive-ai deterministic-verification epistemic-engineering specification-gaming

Updated Apr 16, 2026
Python

bulletinboardsystemtyrannidae535 / logicshield

Validate LLM outputs with deterministic rules to block bad AI proposals before they reach production.

Updated Apr 24, 2026
Python

nutstrut / verified-task

Verify any agent output before it is trusted, paid for, or acted on. A universal SAR verification pattern for AI agent workflows.

automation verification ed25519 workflow-automation ai-agents claude-code x402 agent-safety claude-skills x402-payment deterministic-verification sar-protocol sarprotocol settlementwitness

Updated Apr 2, 2026
Shell

qwed-ucp

QWED-AI / qwed-ucp

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

ucp 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 Apr 13, 2026
Python

Improve this page

Add a description, image, and links to the deterministic-verification 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 deterministic-verification topic, visit your repo's landing page and select "manage topics."