compile-compcert

Guidance for building CompCert, a formally verified C compiler. This skill applies when tasks involve compiling CompCert from source, setting up Coq/OCaml environments with opam, or building software with strict proof assistant dependencies. Use for CompCert compilation, Coq-dependent project builds, or formal verification toolchain setup.

$ Installieren

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

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