Pinned Loading

1. dataset-safety-specs dataset-safety-specs Public

   Formal verification framework for dataset lineage, policy compliance, and training-time safety guarantees.

   Python 1

2. security-envelopes security-envelopes Public

   Formally verified deployment-boundary guarantees: RBAC, tenant isolation, SGX/SEV attestation, and compliance artifact generation with machine-checked proofs.

   Rust 1

3. provability-fabric provability-fabric Public

   Provable AI agents with behavioral guarantees enforced by formal verification, runtime security, and end-to-end audit trails.

   Rust 9 2

4. model-asset-guard model-asset-guard Public

   Machine-checks every fixed model artefact—weights, vocab, quant tables, tokenizers.

   Makefile 1

5. lean-toolchain lean-toolchain Public

   Lean Toolchain provides a collection of formally verified cryptographic algorithms, mathematical operations, and data parsing utilities. All implementations are proven correct in Lean 4 and can be …

   Lean 2

6. runtime-safety-kernels runtime-safety-kernels Public

   State-of-the-art runtime safety components for AI model inference with formal proofs, ultra-low latency, and guaranteed correctness.

   Lean 1