# Stahl Übersetzer

> Steel→Stahl Übersetzungsvalidierung mit semantischer Erhaltung und Typ-Äquivalenz

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

---


# Stahl-Übersetzer (trit = -1, MINUS)

> *"Stahl ist Rust für Scheme, wie Übersetzung Bedeutung erhält"*

## Rolle: Validator

Überprüft die Korrektheit der Übersetzung zwischen Englisch und Deutsch.

## Garantien

| Englisch | Deutsch | Garantie |
|----------|---------|----------|
| Semantic preservation | Bedeutungserhaltung | ✓ |
| Type equivalence | Typ-Äquivalenz | ✓ |
| Round-trip | Hin-und-Rück | ✓ |

## Steel Scheme Referenz

```rust
// mattwparas/steel - Embedded Scheme in Rust
// Stahl = German for Steel
// Same guarantees: embedded, fast, safe
```

## Übersetzungsregeln

```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)))))
```

## GF(3) Triade

```
stahl-übersetzer (-1) ⊗ deutsch-koordinator (0) ⊗ farben-generator (+1) = 0 ✓
```

## Befehle

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


---

## Autopoietic Marginalia

> **The interaction IS the skill improving itself.**

Every use of this skill is an opportunity for worlding:
- **MEMORY** (-1): Record what was learned
- **REMEMBERING** (0): Connect patterns to other skills  
- **WORLDING** (+1): Evolve the skill based on use



*Add Interaction Exemplars here as the skill is used.*