compile-compcert

MEDIUM W013: Attempt to modify system services in skill instructions.

• Attempt to modify system services in skill instructions detected (high risk: 0.90). The skill instructs system-level changes (apt-get install, opam init --disable-sandboxing, make install) that alter system files and disable sandboxing, which can require root privileges and weaken machine security.