Help add tracing and debugging output to Lean code.
npx ai-builder add command nathanial/traceCreate FFI bindings between Lean 4 and C code. Use when working with foreign functions, native libraries, Metal, or system APIs.
npx ai-builder add skill nathanial/ffi-bindings