Asi stahl-bersetzer

Steel-to-Stahl (mattwparas/steel Scheme) German translation validator with semantic preservation and type equivalence. Triggers: stahl, steel, scheme, german translation, semantic preservation.

install

source · Clone the upstream repo

git clone https://github.com/plurigrid/asi

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/stahl-bersetzer" ~/.claude/skills/plurigrid-asi-stahl-bersetzer && rm -rf "$T"

manifest: skills/stahl-bersetzer/SKILL.md

source content

Stahl-Übersetzer

Validates correctness of English↔German translation for Steel Scheme (mattwparas/steel).

Guarantees

English	Deutsch	Check
Semantic preservation	Bedeutungserhaltung	Round-trip preserves meaning
Type equivalence	Typ-Äquivalenz	Types map 1:1
Round-trip	Hin-und-Rück	EN→DE→EN = identity

Translation Rules

;; Steel (English)
(define (factorial n)
  (if (= n 0) 1 (* n (factorial (- n 1)))))

;; Stahl (Deutsch)
(definiere (fakultät n)
  (wenn (= n 0) 1 (* n (fakultät (- n 1)))))

Commands

just stahl-validate "skill" "Fähigkeit"
just stahl-roundtrip input.md