Linx ISA bring-up related Codex skills.
- Canonical skill names use
linx-<module>for module agents. - One skill owns one superproject module scope.
- Deprecated aliases are removed during install sync.
- linx-superproject
- linx-core
- linx-pycircuit
- linx-qemu
- linx-isa
- linx-lib
- linx-compiler
- linx-linux
- linx-skills-submodule
| Skill | Module scope |
|---|---|
linx-superproject |
superproject integration and repin governance |
linx-core |
rtl/LinxCore |
linx-pycircuit |
tools/pyCircuit |
linx-qemu |
emulator/qemu |
linx-isa |
ISA/docs architecture contracts |
linx-lib |
lib/ runtime bring-up |
linx-compiler |
compiler/llvm |
linx-linux |
kernel/linux |
These skills encode strict cross-domain collaboration rules for LinxCore maturity:
- phase-based gate program (
G0..G5) indocs/bringup/agent_runs/manifest.yaml, - phase-bound waivers with explicit expiry and issue links,
- PR + nightly gate tiers with dual-lane (
pin+external) closure, - mandatory evidence pack (gate report + SHA manifest + logs/traces).
Use the canonical installer to sync skills and remove deprecated aliases:
bash /Users/zhoubot/linx-skills/scripts/install_canonical_skills.shFor bring-up evolution without destructive churn:
- Pull latest
skills/linx-skillsin superproject before bring-up work. - Run a skill-evolve decision gate before editing skills:
- Update skills only for new findings/new reusable experience:
- new contract/invariant/gate not documented,
- new recurring failure/triage path,
- new mandatory reproducibility command/env/artifact.
- Do not update skills for:
- wording/formatting cleanup,
- minor local optimization,
- one-off workaround with no reusable policy.
- Update skills only for new findings/new reusable experience:
- Update only the touched skill folders when the decision gate says update is needed.
- Validate touched skills and guard change scope:
python3 /Users/zhoubot/linx-skills/scripts/check_skill_change_scope.py --base origin/main
python3 /Users/zhoubot/.codex/skills/.system/skill-creator/scripts/quick_validate.py <skill-dir>- Summarize skill decision and updates in bring-up evidence.
- Commit to
linx-skills, repin superproject submodule, then install to Codex skills.