deterministic-verification

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

Writing that has consequences can't afford a sentence nobody can trace. Writing Intelligence ties every claim to its exact source line and shows what a change breaks before you make it. v9: your notes back your first-person claims, and every edit that changes what you meant is shown to you first. Release 9.0.0.

GeoTask — 面向 AI Agent 的时空任务上下文引擎 | Spatiotemporal Task Context Engine for AI agents.

Turn "AI writes code" into a ticket pipeline with guardrails: product design → ticket design → agent-driven implementation with deterministic verification.

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

„Local first AI knowledge assistant that shows how far each answer can be trusted: deterministic source check, signed receipts, any model / cloud, own server or on device.

Reliability Harness v2 for OpenCode CLI — task contracts, least-privilege sub-agents, clean-checkout verification, and a deterministic done-gate. Orthogonal agents (scout/spec-critic/test-designer/lead/verifier/adversary) instead of 3 identical thinking clones. Compatible with Oh My OpenAgent. Not a model swap or 1:1 emulation.

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

An enterprise NLP lexical compiler and ingestion gateway that normalizes code-switched, phonetically spelled vernacular into canonical native scripts, clean English, and deterministically verified API payloads. Powered by Gemini Flash & TypeScript invariance assertions.

Proof records linking detection, validation, and evidence-backed claims.

Autonomous Multi-Agent Software Factory governed by Finite State Machines (FSM), deterministic verification gates, execution budgets, and Git worktree isolation.

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

Reliability Harness v2 for ZCode (GLM-5.2 / ZAI) — task contracts, least-privilege sub-agents, clean-checkout verification, and a deterministic done-gate. Orthogonal agents (scout/spec-critic/test-designer/lead/verifier/adversary) instead of 3 identical thinking clones. Mythos-inspired, not a model swap or 1:1 emulation.

Validation harnesses, test cases, and reports for detection quality gates.

The DS for Art Basel 2018, Basel University Diploma certifications, to process corporate registration on TV in 1h37 in Switzerland's Canton of Zug and more. As Proxeus switched to a NPO, open source all codebase and the new maintainers rewrote an inferior DS to take credit. My superior and proven track record DS is abandonware and I take ownership.

Verification for Universal Commerce Protocol (UCP) transactions — Deterministic verification layer for UCP checkouts: catches math, state, and schema errors before payment.

An AI software factory that records verifiable evidence of what AI agents actually did: deterministic verification, an append-only audit chain, and one proxy for NVIDIA Nemotron on Nebius Token Factory.

Platform architecture and operational components supporting the security stack.

Human-reviewed TypeScript workflow where deterministic checks gate educational content releases. 42 automated tests.

Hybrid AGI — Verifiable Reasoning Engine. Deterministic reproducible fingerprinting, gated self-recompilation with tested rollback, and distributed epistemic swarm consensus (0.67 quorum). Real multi-process distributed swarm now included. AGPL-3.0.