LogoClawIndex
CasesSkillsAbout
LogoClawIndex

ClawIndex

OpenClaw Skills & Use Case Index

ClawIndex is an ecosystem-driven index of OpenClaw skills and real-world use cases.

Index

Skills·
Cases

Meta

About·
Disclaimer·
Email·
GitHub
© 2026 ClawIndex All Rights Reserved.

Skills with capability: Frame safety claims

Browse skills that share this capability.

  • unsafe-rust - Proof-grade unsafe Rust authoring and audit
    Rustunsafe codesoundness auditformal reasoning

    ★ 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.

    ⚙ Frame safety claims⚙ Recover required case domains⚙ Inventory unsafe surfaces