Agent-Skills.md

Agent Skills: 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.

UncategorizedID: plurigrid/asi/stahl-bersetzer

Repository

plurigrid/asi
plurigridLicense: MIT
165

Install this agent skill to your local

pnpm dlx add-skill https://github.com/plurigrid/asi/tree/HEAD/skills/stahl-bersetzer

Skill Files

Browse the full folder contents for stahl-bersetzer.

Download Skill

Loading file tree…

skills/stahl-bersetzer/SKILL.md

Skill Metadata

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

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