Fail Closed Python Packages

qwed

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

acid-judge

Acid Judge: fail-closed gate for a locked Python-tool body. Catches file swap between lock and judge. Not a sandbox, not an OS.

adversary-gate

Executed-evidence verification gate for AI coding agents

nomosguard

Deterministic security reasoning core: hash-chained evidence ledger, attack-path rule engine, fail-closed policy gate. LLMs produce evidence and explain decisions; they never cross the decision boundary.

adversary-gate-mcp

Executed-evidence verification gate for AI coding agents

archytan-lite

Archytan Lite: a fail-closed, signed authorization gate for AI agents. Quickstart, examples, JSON Schemas, releases and issues.

acid-engine

Acid Judge: fail-closed gate for a locked Python-tool body. Catches file swap between lock and judge. Not a sandbox, not an OS.

qwed-finance

Deterministic verification layer for AI-generated financial decisions. Verifies math (NPV, IRR, Black-Scholes, YTM, VaR), compliance (AML/KYC via Z3), and banking schemas (ISO 20022, SWIFT) — fail-closed, proof-backed. Not execution. Verification.

phocinae-guard

Phocinae command approval gate for AI harnesses (Claude Code / Cline / Codex / Crush / dsh hooks): fail-closed local decision guard

gate-cat

Block irreversible AI-agent actions before they run — deterministic, fail-closed action veto for Claude Code, Codex, Cursor, and other tool-using agents.

workspaceguard-cli

Per-workspace usage metering and fail-closed quota caps for self-hosted AI deployments. CLI + library, npm & PyPI.

qwed-legal

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

acgs

ACGS Governed System— runtime governance broker for autonomous agent execution

qwed-a2a

Fail-closed Agent-to-Agent verification, provenance, and attestation infrastructure for AI systems.

capfence

Open-source authorization gateway for AI agent tool calls. Enforce allow, deny, and approval-required decisions before agents execute tools.

qwed-tax

The Verification Gate for AI-Generated Tax Decisions. Deterministic tax verification layer powered by Z3 and Decimal math — sits between AI agents and execution systems. Not a calculator, not a filing platform.

review-pantheon

Five read-only AI review agents and a fail-closed PR gate — hunter/verifier twins in CI, philosopher counsel in design. Provider-agnostic: Claude-first with Codex/Gemini/Cursor lanes.

shadowaudit

Open-source authorization gateway for AI agent tool calls. Enforce allow, deny, and approval-required decisions before agents execute tools.

qwed-infra

Deterministic verification layer for infrastructure as code. Verifies AWS IAM policies, network reachability, and cost estimates before deployment — sits between AI agents and cloud execution. Powered by Z3 and NetworkX.

machineid-io

Official Python SDK for MachineID - simple device registration and validation for AI agents.

preflight-gate

Fail-closed admission for Python plugins: inspect inert manifests and refuse unapproved code before import. Artifact trust and Windows isolation are active alpha work.