Ejecuta cualquier Skill en Manus
con un clic

Ejecuta cualquier Skill en Manus con un clic

sounio-l0-core

Estrellas4

Forks0

Actualizado21 de marzo de 2026 a las 20:37

L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.

Instalación

Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.

Ejecutar en Manus

Fuente

Sounio-lang

Sounio-lang/sounio

Abrir repositorio de GitHub Ver repositorios del creador

Descarga

Ejecutar en Manus

Ocupaciones relacionadasSOC

Basado en la clasificación ocupacional SOC

Desarrolladores de softwareOcupaciones informáticas y matemáticas·SOC 15-1252

SKILL.md

readonly

name	sounio-l0-core
description	L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.

Sounio L0 Core

Workflow

Anchor on language identity

Read docs/MV_CORE_CHECKLIST.md first.
Confirm: explicit effects, epistemic integrity, and Sounio-native syntax.

Epistemic invariants

Use stdlib/epistemic/SEMANTICS.md for Knowledge/uncertainty/confidence/provenance rules.
Never allow implicit Knowledge→T unwrapping.

Effects and purity

Consult .claude/commands/sounio-effects.md for effect expectations.
Ensure side effects are declared on functions (with IO, with Panic, etc.).

Units and refinements (when relevant)

Use .claude/commands/sounio-units.md to keep unit syntax and checks consistent.

References

docs/MV_CORE_CHECKLIST.md
stdlib/epistemic/SEMANTICS.md
docs/spec/LANGUAGE_SPECIFICATION.md
.claude/commands/sounio-effects.md
.claude/commands/sounio-units.md

Más de este repositorio

mismo repositorio

sounio-check

Sounio-lang/sounio

Type-check a Sounio .sio file using the souc compiler

2026-03-254

sounio-run

Sounio-lang/sounio

JIT-execute a Sounio .sio file and show output

2026-03-254

sounio-check

Sounio-lang/sounio

Type-check a Sounio .sio file using the souc compiler

2026-03-254

sounio-run

Sounio-lang/sounio

Compile and run a Sounio .sio file and show output

2026-03-254

sounio-bootstrap

Sounio-lang/sounio

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.

2026-03-254

sounio-native-codegen

Sounio-lang/sounio

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.

2026-03-254

name	sounio-l0-core
description	L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.

Sounio L0 Core

Workflow

Anchor on language identity

Read docs/MV_CORE_CHECKLIST.md first.
Confirm: explicit effects, epistemic integrity, and Sounio-native syntax.

Epistemic invariants

Use stdlib/epistemic/SEMANTICS.md for Knowledge/uncertainty/confidence/provenance rules.
Never allow implicit Knowledge→T unwrapping.

Effects and purity

Consult .claude/commands/sounio-effects.md for effect expectations.
Ensure side effects are declared on functions (with IO, with Panic, etc.).

Units and refinements (when relevant)

Use .claude/commands/sounio-units.md to keep unit syntax and checks consistent.

References

docs/MV_CORE_CHECKLIST.md
stdlib/epistemic/SEMANTICS.md
docs/spec/LANGUAGE_SPECIFICATION.md
.claude/commands/sounio-effects.md
.claude/commands/sounio-units.md