Jeden Skill in Manus ausführen
mit einem Klick

Jeden Skill in Manus mit einem Klick ausführen

sounio-l0-core

Sterne4

Forks0

Aktualisiert21. März 2026 um 20:37

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

Installation

Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.

In Manus ausführen

Quelle

Sounio-lang

Sounio-lang/sounio

GitHub-Repository öffnen Creator-Repositorys ansehen

Download

In Manus ausführen

Verwandte BerufeSOC

Basierend auf der SOC-Berufsklassifikation

SoftwareentwicklerInformatik- und Mathematikberufe·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

Mehr aus diesem Repository

gleiches Repository

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