skills.homes logoskills.homescapability registry
home/categories/framework-internals/letta-ai-skills-letta-benchmarks-trajectory-feedback-compile-compcert-skill-md
cd ..
framework-internalsdevelopment

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.

Ver código-fonteframework-internals
letta-ai
maintainer
letta-ai
Atualizado 1/19/2026
Estrelas
31
Forks
5
quick start

Installation and usage

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.

Instalação
$ install --globalskills.sh
Uso

Depois de instalar, você pode usar esta skill executando o seguinte comando no terminal:

skills use compile-compcert