القائمة
Type-check a Sounio .sio file using the souc compiler
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
Type-check a Sounio .sio file using the souc compiler
JIT-execute a Sounio .sio file and show output
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.
| 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./bin/soucSOUC_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)