Popular repositories Loading

1. agenthalo agenthalo Public

   Agent H.A.L.O. — Human-AI Agent Lifecycle Orchestrator. Tamper-proof observability for AI agents, backed by NucleusDB (verifiable database with SHA-256 Merkle proofs, ML-DSA-65 signatures, and Cert…

   Rust 3

2. lean-kernel-sky lean-kernel-sky Public

   Compiling Lean 4's Type Checker to SKY Combinators - A verified 25-phase pipeline

   HTML 1

3. ruliad-lambda ruliad-lambda Public

   Machine-verified Lean 4 proofs for λ-calculus ruliology (Wolfram 2025)

   Lean 1

4. penumbra-lean penumbra-lean Public

   Penumbra: Machine-checked proof that every non-Boolean projection through a nucleus produces a universal, irreducible information gap. 162 files, 1,486 declarations, zero sorry. Lean 4 + Mathlib.

   Lean 1

5. verified-pqc-verifier verified-pqc-verifier Public

   Standalone offline verifier for VerifiedPQC attestation packages with ML-DSA and CAB checks

   Python 1

6. modal-category-of-sets-lean modal-category-of-sets-lean Public

   Lean 4 formalization of the semantic Grz.2 classification for the category of sets. 37 modules, 376 theorems, 0 sorry.

   Lean 1