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

deterministic governance layer for AI-assisted task execution

Systems language and runtime for explicit authority, typed distribution, and security-first process supervision.

Deterministic pre-execution gate for AI agents (fail-closed, YAML policy)

Deterministic three-state stop controller. Constraint-first design. Fail-closed.

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

Zero-trust API firewall and security integrity layer for autonomous AI agents & Model Context Protocol (MCP) tool execution. Secure, TOCTOU-proof, fail-closed.

Make AI coding agents prove they're done. A fail-closed completion gate: the agent only proposes done; CI reads the real artifacts and grants 'complete'. For Claude Code, Codex & any agent.

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.

Fail-closed local/cloud router for LLMs: sensitive data stays on-device. French PII detection (GLiNER + Presidio + regex), reversible pseudonymization with a burned in-memory vault, GDPR art. 32 audit log. LiteLLM + Ollama. EN/FR docs.

Deterministic allowlist-first policy gate for LLM applications, agents, and AI gateways.

Open, verifiable agent framework — fail-closed orchestration, evidence-based verification, tamper-evident audit chains (SHA-256/HMAC).

Distributed process supervisor and coordination wrapper (leader election, semaphores, cron) built on etcd v3 for zero-dependency Linux process orchestration.

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.

Produktivreifes .NET-Tool für deterministische Datei- & MIME-Erkennung mit fail-closed Archivvalidierung, sicherer Extraktion und Hashing-Evidenz (SHA-256/HMAC).

Meaning scoped persistence and state retention rules for Riverbraid.

Cluster wide verification harness for byte floor, seals, and stationary state checks.

Temporal contracts and governed time based state logic for Riverbraid.

Governed vision input and perception contract surface for Riverbraid.

Public proof surface of the ACE doctrine: bounded briefs with code-generated, inspectable receipts.