Popular repositories Loading

1. aos-meta-symbolic-kernel aos-meta-symbolic-kernel Public

   AOS — model-agnostic runtime assurance kernel for converting bounded AI-output signals into auditable PASS/WARN/BLOCK decisions before workflow use.

   Python

2. aos-workflow-gate aos-workflow-gate Public

   GitHub Action + CLI for replayable CI/PR/release gate decisions - zero-config Self-Test turning checks, scanners, and AI-agent signals into deterministic, tamper-evident PASS/WARN/BLOCK records. Re…

   Python

3. aos-kernel aos-kernel Public

   Deterministic evidence kernel for replayable PASS/WARN/BLOCK decisions - the core behind aos-workflow-gate. Public demonstrator with a formal surface in Lean 4.

   Python

4. aos-rag-gate aos-rag-gate Public