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
Also installable via skills CLI
npx skills add letta-ai/skills/data/compile-compcert