Menu
Type-check a Sounio .sio file using the souc compiler
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
| name | sounio-check |
| description | Type-check a Sounio .sio file using the souc compiler |
| user-invocable | true |
| allowed-tools | Bash, Read, Glob |
Type-check the specified Sounio source file.
Resolve the souc compiler binary:
$SOUC_BIN or $SOUC environment variable if setsouc on PATH./artifacts/omega/souc-bin/souc-linux-x86_64-jitSOUC_BINIf no file argument given, find the most recently modified .sio file in the working directory
Run type-check:
$SOUC check <file>
If the user asked for --show-ast or --show-types, pass those flags through
Parse the output:
with effects, &mut → &!, semicolons, missing type annotationsIf the error mentions a missing effect, suggest the correct with clause based on what the function body does (IO for print, Mut for mutation, Div for division, Panic for indexing/assert)
JIT-execute a Sounio .sio file and show output
Type-check a Sounio .sio file using the souc compiler
Compile and run a Sounio .sio file and show output
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.
Work on the native x86-64 code generation backend: register allocation, instruction encoding, peephole optimization, frame sizing, ELF output, and the compile_ir_function pipeline; use when editing any sprint 52–65+ native/*.sio files.
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.