Skill Claude CodeCodex
Perform systematic, safety‑preserving refactoring of code in any language, using dependency analysis, invariant detection, and verification techniques to avoid introducing bugs.
Instructions file CodexOpenCode
Instructions for Sounio-lang/sounio, covering agents.md, steps, purpose, recovery + remote-first bootstrap and repository identity.
Instructions file
Instructions for Sounio-lang/sounio, covering claude.md, 1. calibration — read before any analysis, 2. project identity, 3. session bootstrap and 4. build & run.
Skill Claude CodeCodex
Type-check a Sounio .sio file using the souc compiler.
Skill Claude CodeCodex
Scan a .sio file for Rust-isms and suggest Sounio-native fixes.
Skill Claude CodeCodex
Compile and run a Sounio .sio file and show output.
Skill Claude CodeCodex
Choose which AI model to use for a given Sounio task: type-checker changes, render examples, PGO passes, docs/skills updates, bootstrap debugging, codebase sweeps, and paper sections.
Skill Claude CodeCodex
Work on the self-hosted Sounio compiler bootstrap path: self-hosted/main.sio pipeline modes (--lex, --parse, --check, --ir-dump, --native-compile), frontend corpus gates, and bootstrap binary milestones.
Skill Claude CodeCodex
Work on Sounio code generation and backends (Cranelift, LLVM, GPU, native ELF backend); use when editing compiler/src/codegen/, compiler/src/backend/, or backend-adjacent runtime glue.
Skill Claude CodeCodex
Implement and debug Sounio MIR/SSA analyses and optimization passes (CSE/DCE/const-prop/LICM); use when editing compiler/src/mir/ or adding MIR-level performance work.
Skill Claude CodeCodex
Work on Sounio epistemic computing: Knowledge/uncertainty/confidence/provenance, ontology bindings, and dependent epistemic subtyping/proofs; use when editing compiler/src/epistemic/, compiler/src/dependent/, or stdlib/epistemic/.
Skill Claude CodeCodex
Keep examples/ compiling and aligned with the compiler; use when editing examples or enforcing example hygiene.
Skill Claude CodeCodex
L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.
Skill Claude CodeCodex
Write and edit Sounio .sio code, examples, and language docs; enforce Sounio-native syntax (var, &!, explicit with effects) and reduce Rust-like drift across examples/, tests/, and docs/.
Skill Claude CodeCodex
Work on the native x86-64 code generation backend: register allocation, instruction encoding, peephole optimization, frame sizing, ELF output, and the compileirfunction pipeline; use when editing any sprint 52–65+ native/.sio files.
Skill Claude CodeCodex
Work on Sounio scientific ontology integration (term resolution, embeddings, semantic typing, federated ontologies); use when editing compiler/src/ontology/ or ontology-related diagnostics/types.
Skill Claude CodeCodex
Work on the profile-guided optimization pipeline: counter injection, .sprof file output, strategy promotion, inlining, layout, const-fold/DCE, and register allocation; use when editing any sprint 38–52+ IR optimization files.
Skill Claude CodeCodex
Work on the Sounio render platform: stdlib/render/ API, examples/render/ examples, website showcase generation, and GPU backend emitters; use when editing any render-related .sio file or website preview.
Skill Claude CodeCodex
Develop the Sounio standard library (stdlib/): add/edit modules, keep APIs consistent, and update STDLIBREFERENCE.md; use when working on stdlib .sio code or stdlib docs/tests.
Skill Claude CodeCodex
Add and maintain Sounio tests: tests/run-pass, tests/compile-fail, tests/ui, and Rust integration tests under compiler/tests; use when writing regressions or adjusting diagnostics expectations.
Skill Claude CodeCodex
Work on Sounio tooling: LSP, VSCode extension, playground (WASM), and Jupyter kernel; use when editing compiler/src/lsp/, editors/vscode/, playground/, or jupyter/.
Skill Claude CodeCodex
Work on Sounio type checking and effect system (bidirectional inference, effect inference/enforcement, and type rules); use when editing compiler/src/typeck/, compiler/src/types/, compiler/src/check/, or compiler/src/effects/.
MCP server Claude CodeCodexCursor +2
Model Context Protocol server exposing the Sounio compiler over local stdio. Runs locally from the sounio-mcp-server Python package.