sounio-typeck-effects
Work on Sounio type checking and effect system (bidirectional inference, effect inference/enforcement, and type rules); use when editing…
Skill by Sounio-lang
Chalk Labs
Need help deploying sounio-typeck-effects?
Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.
Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/sounio-lang-sounio-typeck-effects
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Use cases: ml, writing
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
Network hosts it talks to 1
codeload.github.com· found in install command
Files it touches
~/.claude/skills/sounio-typeck-effects
What's inside
- Skill name
sounio-typeck-effects- Description
- 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/`.
- License
- Apache-2.0
- Instructions
- 39 lines in SKILL.md · view on GitHub
Files (3)
- SKILL.md
- effects-navigation.md · references/
- typeck-navigation.md · references/
SKILL.md (first lines)
# Sounio Typeck + Effects ## Overview Make changes to the type system and effect checker without drifting toward Rust or weakening Sounio’s explicit-effects contract. ## Workflow ### 1) Anchor to language identity and current reality - Read `CLAUDE.md` for Sounio-native syntax constraints. - Check `docs/compiler/KNOWN_LIMITATIONS.md` before implementing surface syntax the compiler doesn’t support yet. - Treat `docs/spec/LANGUAGE_SPECIFICATION.md` as aspirational when it disagrees with the compiler. ### 2) Identify what layer you’re changing - Parser shape: `self-hosted/parser/` - Type rules / inference: `self-hosted/check/` - Effects enforcement + inference: `self-hosted/effects/` ### 3) Protect effect soundness - If an operation performs IO/mutation/allocation/etc, ensure the effect set includes it. - If an operation changes epistemic confidence/provenance, decide whether it must be effectful and enforce it consistently. ### 4) Add high-signal tests - Diagnostics expectations: `tests/ui/` - Language harness: `tests/run-pass/`, `tests/compile-fail/` ## References - Typeck map: `references/typeck-navigation.md` - Effects map: `references/effects-navigation.md`
From Sounio-lang/sounio, Apache-2.0.
More from Sounio-lang/sounio
- 0.631score
code-review
Sounio-lang
Review pull requests and diffs for correctness, regressions, evidence, and applicable repository policy.
SkillAFreshness: A★ 12Claude Code +9 - 0.599score
sounio-tests-suite
Sounio-lang
Add and maintain Sounio tests: `tests/run-pass`, `tests/compile-fail`, `tests/ui`, and Rust integration tests under `compiler/tests`; use when writing…
SkillBFreshness: B★ 12Claude Code +9 - 0.599score
sounio-stdlib-dev
Sounio-lang
Develop the Sounio standard library (`stdlib/`): add/edit modules, keep APIs consistent, and update `STDLIB_REFERENCE.md`; use when working on stdlib `.sio`…
SkillBFreshness: B★ 12Claude Code +9 - 0.596score
sounio-language
Sounio-lang
Write and edit Sounio `.sio` code, examples, and language docs; enforce Sounio-native syntax (`var`, `&!`, explicit `with` effects) and reduce Rust-like drift…
SkillBFreshness: B★ 12Claude Code +9 - 0.594score
sounio-l0-core
Sounio-lang
L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.
SkillBFreshness: B★ 12Claude Code +9 - 0.589score
sounio-examples-hygiene
Sounio-lang
Keep `examples/` compiling and aligned with the compiler; use when editing examples or enforcing example hygiene.
SkillBFreshness: B★ 12Claude Code +9 - 0.549score
sounio-tooling
Sounio-lang
Work on Sounio tooling: LSP, VSCode extension, playground (WASM), and Jupyter kernel; use when editing `compiler/src/lsp/`, `editors/vscode/`, `playground/`…
SkillCFreshness: C★ 12Claude Code +9 - 0.549score
sounio-codegen-backends
Sounio-lang
Work on Sounio code generation and backends (Cranelift, LLVM, GPU, native ELF backend); use when editing `compiler/src/codegen/`, `compiler/src/backend/`, or…
SkillCFreshness: C★ 12Claude Code +9 - 0.549score
sounio-compiler-mir
Sounio-lang
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…
SkillCFreshness: C★ 12Claude Code +9 - 0.549score
sounio-ontology
Sounio-lang
Work on Sounio scientific ontology integration (term resolution, embeddings, semantic typing, federated ontologies); use when editing `compiler/src/ontology/`…
SkillCFreshness: C★ 12Claude Code +9 - 0.549score
sounio-epistemic-types
Sounio-lang
Work on Sounio epistemic computing: `Knowledge`/uncertainty/confidence/provenance, ontology bindings, and dependent epistemic subtyping/proofs; use when…
SkillCFreshness: C★ 12Claude Code +9 - 0.546score
model-dispatch
Sounio-lang
Choose which AI model to use for a given Sounio task: type-checker changes, render examples, PGO passes, docs/skills updates, bootstrap debugging, codebase…
SkillCFreshness: C★ 12Claude Code +9
Signals
- Stars
- 12
- Forks
- 3
- Open issues
- 24
- Last commit (this folder)
- Sep 19, 2026 (1 month ago)
- Last release
- May 18, 2026 (5 months ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- Apache-2.0
- Repository
- github.com/Sounio-lang/sounio
- Website
- www.souniolang.org
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from Sounio-lang
- 0.631score
code-review
Sounio-lang
Review pull requests and diffs for correctness, regressions, evidence, and applicable repository policy.
SkillAFreshness: A★ 12Claude Code +9 - 0.599score
sounio-tests-suite
Sounio-lang
Add and maintain Sounio tests: `tests/run-pass`, `tests/compile-fail`, `tests/ui`, and Rust integration tests under `compiler/tests`; use when writing…
SkillBFreshness: B★ 12Claude Code +9 - 0.599score
sounio-stdlib-dev
Sounio-lang
Develop the Sounio standard library (`stdlib/`): add/edit modules, keep APIs consistent, and update `STDLIB_REFERENCE.md`; use when working on stdlib `.sio`…
SkillBFreshness: B★ 12Claude Code +9 - 0.596score
sounio-language
Sounio-lang
Write and edit Sounio `.sio` code, examples, and language docs; enforce Sounio-native syntax (`var`, `&!`, explicit `with` effects) and reduce Rust-like drift…
SkillBFreshness: B★ 12Claude Code +9 - 0.594score
sounio-l0-core
Sounio-lang
L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.
SkillBFreshness: B★ 12Claude Code +9 - 0.589score
sounio-examples-hygiene
Sounio-lang
Keep `examples/` compiling and aligned with the compiler; use when editing examples or enforcing example hygiene.
SkillBFreshness: B★ 12Claude Code +9
Done for you
Rather not set it up yourself?
Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.
See how we build AI agents →Read the case studies
Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.
- launches shipped
- 50+
- launches shipped
- media placements
- 500+
- media placements
- founders on every account
- 2
- founders on every account
Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block
Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.
Get sounio-typeck-effects running in your business
Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.
Cite this page
sounio-typeck-effects skill. Agent Mart. https://agentmart.dev/skills/sounio-lang-sounio-typeck-effects (last updated 2026-10-24)