用途：校验 Steel Scheme（mattwparas/steel）英文与德文翻译的正确性，面向需要将 Scheme 代码或术语在英德之间转换并验证一致性的场景。
主要能力：提供三项保证——语义保持（Bedeutungserhaltung），即往返翻译后含义不变；类型等价（Typ-Äquivalenz），即类型一一对应；往返一致（Hin-und-Rück），即 EN→DE→EN 等于原值。翻译规则示例中，英文 (define (factorial n) ...) 对应德文 (definiere (fakultät n) ...)，关键字与标识符按规则映射。
使用方式：通过命令调用，例如 just stahl-validate "skill" "Fähigkeit" 校验单个术语或片段，just stahl-roundtrip input.md 对文件执行往返校验。
适用场景：Steel Scheme 相关文档、代码注释或术语的英德本地化校验。
限制：资料未提供安装步骤、依赖要求、支持的语言版本、错误报告格式及性能说明；具体可用性需以实际环境为准。