Use when working with the Compact compiler (compactc), configuring build settings, understanding zkir/prover/verifier output artifacts, setting up COMPACT_PATH, or integrating VS Code language server
plugins/compact-core/skills/compilation-tooling/SKILL.md(main)