This repository contains reusable Codex skills distilled from the NineToothed compiler work. The goal is to make future compiler development more systematic: design IR, lower to SSA, organize passes, emit backend code, audit generality, and validate correctness/performance.
| Skill | Use for |
|---|---|
compiler-ir-architecture |
layered IR design, SSA theory, dialect boundaries |
compiler-ssa-lowering |
frontend/AST/source lowering into fine-grained SSA |
compiler-pass-pipeline |
pass registry, pipeline design, autotune hooks |
compiler-backend-emitter |
final IR to backend source artifact generation |
compiler-multibackend-porting |
adding CUDA/Triton/TVM/TileLang/vendor backends |
compiler-lowering-audit |
proving lowering is generic and not template-based |
compiler-operator-coverage |
selecting diverse operator validation suites |
compiler-performance-tuning |
benchmarking and optimizing generated kernels |
compiler-validation-reporting |
producing rigorous Chinese/English validation reports |
For architecture work:
$compiler-ir-architecture -> $compiler-pass-pipeline -> $compiler-backend-emitter
For implementation work:
$compiler-ssa-lowering -> $compiler-pass-pipeline -> $compiler-multibackend-porting
For acceptance work:
$compiler-lowering-audit -> $compiler-operator-coverage -> $compiler-performance-tuning -> $compiler-validation-reporting
Each subdirectory is a standard Codex skill folder and can be copied into .codex/skills or published as part of this standalone skill repository.