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.

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 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.

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.

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

Governed vision input and perception contract surface for Riverbraid.

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

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

Offline verifier for TimeLayer receipts — no network, no key server, no trust in us. Ed25519 quorum + BLAKE3, fail-closed.

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

Temporal contracts and governed time based state logic for Riverbraid.

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.

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.