Diagnose and fix OCaml garbage collector bugs in the C runtime.
npx skills add https://github.com/letta-ai/skills --skill fix-ocaml-gc
Please help me install this Agent Skill. Skill: fix-ocaml-gc Source: https://github.com/letta-ai/skills/tree/main/ai/benchmarks/letta/terminal-bench-2/trajectory-feedback/fix-ocaml-gc Command: npx skills add https://github.com/letta-ai/skills --skill fix-ocaml-gc
This Skill provides guidance for debugging and fixing memory-management bugs in the OCaml garbage collector runtime, with emphasis on memory handling in sweeping, allocation, and free-list management.
Example: Use this Skill when you encounter segfaults in OCaml GC, then follow its steps to locate root causes, apply fixes in the runtime, and run the runtime tests to verify correctness.
High-intent search queries and answers about installing and using this skill.
OCaml GC segfaults typically stem from bugs in sweeping, allocation, or free-list management in the C runtime. Diagnose by reproducing the crash, examining runtime/major_gc.c and runtime/minor_gc.c for pointer arithmetic errors in size-classed pools, then verify fixes with full builds and runtime tests.
Memory corruption in OCaml's GC occurs when pointer arithmetic mistakes or faulty free-list logic corrupt heap state. Examine runtime/shared_heap.c, runtime/memory.c, and runtime/gc_ctrl.c for allocation and sweeping defects, isolate the root cause systematically, then apply minimal patches that preserve existing semantics.
Fix OCaml runtime memory bugs by following a structured debugging workflow: reproduce the issue, trace through GC code modules, identify logic flaws in sweeping or allocation, apply targeted patches, then run the full runtime test suite to verify correctness and ensure no semantic changes.
Common pitfalls in OCaml GC pointer arithmetic include incorrect calculations in size-classed pools and run-length encoding within free-list management. These errors corrupt heap metadata and trigger segfaults; systematic code review and verification testing catch and fix these issues reliably.
No. Fixing OCaml GC bugs requires modifying runtime source files like runtime/major_gc.c, runtime/minor_gc.c, and runtime/memory.c. Diagnose root causes through structured debugging, then apply minimal, well-documented patches and verify via full builds and runtime tests.
ZurybrDebug and fix OCaml garbage collector runtime bugs using GDB.
sizukutamagoApply test-driven development cycles with requirements.md and test-runner agents.
RayzerrekInspect Unity editor diagnostics, compilation state, and console errors.
zerielribeiroProfile heap allocations and detect memory leaks in applications.
