★ 2,603 · Updated 2026-10-04
Authors, documents, reviews, audits, or redesigns unsafe Rust using explicit safety contracts, applicability domains, invariants, authoritative premises, and TCB assumptions.
Browse skills that use this input.
★ 2,603 · Updated 2026-10-04
Authors, documents, reviews, audits, or redesigns unsafe Rust using explicit safety contracts, applicability domains, invariants, authoritative premises, and TCB assumptions.