sk Skill · Sounio-lang
sounio-check
Type-check a Sounio .sio file using the souc compiler
Open on skills.sh ↗read 2026-09-18
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 3
bashLean
- Host repository
- Sounio-lang/sounio
- Allowed tools
- Bash, Read, Glob
- Invocable by
- user
- Host stars
- 6
- Host language
- Lean