compile-compcert

Guide for building CompCert, the formally verified C compiler, from source. This skill should be used when compiling, building, or installing CompCert, or when working with Coq-based software that has strict dependency version requirements. Covers OCaml/opam setup, Coq version compatibility, memory management, and common build pitfalls.

$ Instalar

git clone https://github.com/letta-ai/skills /tmp/skills && cp -r /tmp/skills/ai/benchmarks/letta/terminal-bench-2/trajectory-feedback/compile-compcert ~/.claude/skills/skills

// tip: Run this command in your terminal to install the skill