The deterministic context engineering platform for open source AI. Connect open models and ontologies with context graph harnesses to build explainable, reliable agents.

Save thousands of lines of code by building universal, domain-agnostic Multi-Agent Systems (MAS) through high-level semantic orchestration. This repository provides a production-ready blueprint for the Agentic Era, allowing you to replace rigid, hard-coded workflows with a dynamic transparent Context Engine that provides 100% transparency.

Evidence-based AI coach for endurance training. Protocol-driven. Deterministic guidance for any LLM, with Intervals.icu integration.

Governance-as-Code for AI agents. Declarative constraints with deterministic enforcement. Provisioning Identity, Tool-based rules, Brokering Credentials & Ensuring safe deployment

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

Open-source KYC/AML compliance automation. 17 human-in-the-loop checkpoints, free public data sources, deterministic risk scoring. Runs on Claude Cowork, Claude Code, or any Claude client.

AI Deterministic Tester

OWL 2 skill compiler for deterministic AI agents — transforms SKILL.md into validated RDF/ Turtle ontologies with SHACL gatekeeper

The bottleneck in AI coding isn't the model: It's the babysitting. Gobby is a local daemon that turns a task into a PR across Claude Code, Codex, Gemini, Qwen, and Droid. Stage dispatch, hook-time rules, progressive MCP proxy, and more. Gobby built Gobby: ~5K commits, ~15K completed tasks and counting.

Deterministic-mode checks for LLM inference: measure run/batch variance, generate repro packs, and explain why outputs differ.

Synthetic corporate dataset generator for AI agent evaluation.

Valori is a Deterministic Memory OS that sits between intelligence (LLMs) and reality (devices, products, decisions).

QEC is a deterministic, replay-safe proof and systems architecture for quantum error correction, invariant-driven computation, canonical hashing, replay validation, semantic/citation boundary enforcement, proof telemetry, inference and agent-boundary receipts, research provenance, and hash-bound decoder governance.

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

Axiomatic intelligence. Doing the right thing, provably.

An open research program exploring the mathematics of artificial thought: information geometry, topology, dynamical systems, and thermodynamics applied to AI inference.

Visual-first architecture workspace with typed graphs, deterministic validation, semantic diffs, and proposal-gated AI changes.

Production-grade TypeScript AI runtime focused on reliability, governance, and reproducible LLM systems. Multi-provider gateway, agents, RAG, workflows, policy engine, audit trails, and deterministic testing — built for teams shipping AI in production.

A Recursive Ontological Framework for Cognitive Design, Neurodivergence Modeling, AI Co-Development, and "Structural AI"

Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably compliant actions execute.