effects
01Cursor rule Cursor
Sounio effects system — functions must declare side effects.
not rated 12
+2 today A 0 tokens
original Apache-2.0
patterns
02Cursor rule Cursor
Copy-paste Sounio patterns from verified tests.
not rated 12
+2 today A 0 tokens
original Apache-2.0
sounio
03Cursor rule Cursor
Sounio language rules — epistemic types, effects, algebra, GPU programming.
not rated 12
+2 today A 0 tokens
original Apache-2.0
syntax
04Cursor rule Cursor
Core Sounio syntax rules — prevents Rust-isms in .sio files.
not rated 12
+2
changed 12d ago A 0 tokens
original Apache-2.0
types
05Cursor rule Cursor
Sounio type system — epistemic, units, refinement, linear types.
not rated 12
+2 today A 0 tokens
original Apache-2.0
Skill Claude CodeCodex
Extend Sounio's epistemic types with advanced uncertainty quantification methods, such as confidence intervals, non‑Gaussian distributions, and Dempster‑Shafer evidence combination, positioning the language at the state‑of‑the‑art in measurement science.
not rated 12
+2
changed 11d ago A SkillSpector: pass 62 tokens
original Apache-2.0
sounio-check
07Skill Claude Code
Type-check a Sounio .sio file using the souc compiler.
not rated 12
+2 today A 20 tokens
original Apache-2.0
sounio-lint
08Skill Claude Code needs its repo
Scan a .sio file for Rust-isms and suggest Sounio-native fixes.
not rated 12
+2 today A 23 tokens
original Apache-2.0
sounio-run
09Skill Claude Code
Compile and run a Sounio .sio file and show output.
not rated 12
+2 today A 19 tokens
original Apache-2.0
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.
not rated 12
+2 today A 47 tokens
original Apache-2.0
Skill Claude CodeCodex needs its repo
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.
not rated 12
+2 today A SkillSpector: pass 54 tokens
original Apache-2.0
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.
not rated 12
+2 today A 55 tokens
original Apache-2.0
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.
not rated 12
+2 today A 51 tokens
original Apache-2.0
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/.
not rated 12
+2 today A 71 tokens
original Apache-2.0
Skill Claude CodeCodex
Keep examples/ compiling and aligned with the compiler; use when editing examples or enforcing example hygiene.
not rated 12
+2
changed 26d ago A 30 tokens
original Apache-2.0
Skill Claude CodeCodex
L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.
not rated 12
+2
changed 26d ago A 40 tokens
original Apache-2.0
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/.
not rated 12
+2
changed 26d ago A 61 tokens
original Apache-2.0
Skill Claude CodeCodex needs its repo
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.
not rated 12
+2 today A SkillSpector: pass 59 tokens
original Apache-2.0
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.
not rated 12
+2 today A 44 tokens
original Apache-2.0
sounio-pgo
20Skill Claude CodeCodex needs its repo
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.
not rated 12
+2 today A SkillSpector: pass 55 tokens
original Apache-2.0
Skill Claude CodeCodex needs its repo
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.
not rated 12
+2 today A 49 tokens
original Apache-2.0
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.
not rated 12
+2
changed 26d ago A 53 tokens
original Apache-2.0
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.
not rated 12
+2
changed 26d ago A 49 tokens
original Apache-2.0
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/.
not rated 12
+2 today A 58 tokens
original Apache-2.0
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: