Proofcraft continues work historically associated with the seL4 Foundation and Data61/CSIRO lineage. In August 2026 it completed confidentiality proofs for seL4 on 64-bit Arm with UK NCSC support, finishing the security proof stack alongside existing correctness and integrity proofs. It publishes proof milestones, releases, and verification tooling — distinct from proving LLMs, which lack complete formal specifications.