# 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.

- Skill: `plurigrid/stahl-bersetzer` (Agent Skill, multi-file: 2 files)
- Install (CLI): `npx skillmds@latest add plurigrid/stahl-bersetzer`
- Raw SKILL.md: https://api.skillmd.com/api/skills/plurigrid/stahl-bersetzer/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: plurigrid (https://skillmd.com/u/plurigrid)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/plurigrid/stahl-bersetzer

---


# 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

```scheme
;; 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

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