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 |
|---|---|
ninetoothed-compiler-development |
new-machine bootstrap, capability diagnosis, and end-to-end development workflow |
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-runtime-materialization |
JIT/AOT/build, launch ABI, binary cache, runtime handles |
compiler-capability-testing |
language/toolchain/hardware-aware test architecture |
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 -> $compiler-runtime-materialization
For acceptance work:
$compiler-lowering-audit -> $compiler-operator-coverage -> $compiler-capability-testing -> $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.
Clone this repository through SSH and install its skill directories into your Codex skills directory. Start with ninetoothed-compiler-development; it can create and diagnose a NineToothed workspace while routing compiler tasks to the focused skills above.
git clone git@github.com:infinitensor/ninetoothed.skill
python ninetoothed.skill/ninetoothed-compiler-development/scripts/install_skill_set.py$ninetoothed-compiler-development