Ubuntu NordVPN gateway with a LAN web panel, per-device policy routing, nftables NAT, and fail-closed routing for TVs, tablets, and other devices.

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

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

deterministic governance layer for AI-assisted task execution

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

Policy-driven, fail-closed model routing for OpenClaw

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

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

Open-source Windows desktop QA tool for authorized Razorpay Test Mode invite-flow testing with Playwright, exact-recipient verification, fail-closed safety controls, reports, and portable x64 builds.

Copy-me examples of the receipt-driven (logless) pattern: require a signed, offline-verifiable receipt before you act.

Receipt-gated SDK for AI agents — an agent cannot authorize its own actions or rewrite what it did. No valid receipt, no action.

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

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

An LLM knowledge base where every claim is anchored to a source and 'verified' is a receipt over the current text.

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.

Governed vision input and perception contract surface for Riverbraid.

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

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

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.

Portotify is a governance protocol that decides whether a decision is allowed, blocked, or controlled before it propagates. We govern the decision.