Popular repositories Loading

1. ZTL ZTL Public

   Zero-Trust Logic — a two-valued logic over unverified inputs ("truth is never granted on credit"). Machine-checked in Lean 4 with zero axioms; certified tableau engine; measured bridges to IEEE NaN…

   Python 2

2. VRCycle VRCycle Public

   Lean 4 formalisation of the VR Cycle — ten works: arithmetic, numbers, sets, forms, Hahn–Banach audit, non-well-founded sets (AFA as theorem), methodological apparatus, algebra, formal topology, tr…

   Lean

3. logic-ai-pc-bridge logic-ai-pc-bridge Public

   Reach your PC's AI assistant from any device through Telegram — with permission boundaries that hold when nobody is watching. Pure Python standard library, no dependencies.

   Python

4. introspect introspect Public

   Zero-trust code taint analyzer for PHP, Python, Java, Go, JS/TS, Ruby and C#. Accuses only proven attacker→sink flows (REFUTED), marks the unverifiable OPEN (found nothing ≠ nothing there), clears …

   Python

5. ztlstudio ztlstudio Public

   State a claim or paradox in plain language; an LLM only translates it into the formal language ZFL, and a deterministic ZTL core delivers the verdict with its warranty. The translator's output is i…

   Python

6. veip-verifier-core veip-verifier-core Public

   Forked from veraxis-protocol/veip-verifier-core

   Source-available VEIP conformance engine implementing deterministic replay, transition validation, and integrity verification.

   Python