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 output: Lean external objects

Browse skills that produce this output.

  • ffi-bindings - Create FFI bindings between Lean 4 and C
    FFILean 4CNative libraries

    ★ 22 · Updated 2026-03-11

    Create Foreign Function Interface bindings between Lean 4 and C code

    ⚙ Define opaque types⚙ Declare extern functions⚙ Implement C functions
  • ffi-bindings - Create FFI bindings between Lean 4 and C
    FFIC interopLean 4native bindings

    ★ 650 · Updated 2026-03-10

    Create Foreign Function Interface bindings between Lean 4 and C for native libraries and system APIs

    ⚙ define opaque types⚙ declare extern functions⚙ implement C functions