skills.homes logoskills.homescapability registry
home/categories/cicd/letta-ai-skills-letta-benchmarks-trajectory-only-compile-compcert-skill-md
cd ..
cicddevops

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.

সোর্স দেখুনcicd
letta-ai
maintainer
letta-ai
আপডেট হয়েছে 1/19/2026
স্টার
31
ফর্ক
5
quick start

Installation and usage

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.

ইনস্টলেশন
$ install --globalskills.sh
ব্যবহার

ইনস্টল করার পর, টার্মিনালে নিচের কমান্ড চালিয়ে আপনি এই স্কিল ব্যবহার করতে পারবেন:

skills use compile-compcert