SkillsAdd

plurigrid/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.

First seen Jun 20, 2026

Installation

$ npx skills add plurigrid/asi --skill stahl-bersetzer
View on skills.sh ↗ GitHub repository ↗

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

frontend-design Same topic
anthropics/skills

Guidance for distinctive, intentional visual design when building new UI or reshaping an existi…

866.4K installs
agent-browser Same topic
vercel-labs/agent-browser

Browser automation CLI for AI agents. Use when the user needs to interact with websites, includ…

810.4K installs
vercel-react-best-practices Same topic
vercel-labs/agent-skills 697.8K installs
web-design-guidelines Same topic
vercel-labs/agent-skills

Review UI code for Web Interface Guidelines compliance. Use when asked to "review my UI", "chec…

617.3K installs
microsoft-foundry Same topic
microsoft/azure-skills

Build, deploy, evaluate, optimize, fine-tune, and manage Microsoft Foundry agents, models, and …

576.5K installs
azure-diagnostics Same topic
microsoft/azure-skills

Debug Azure production issues on Azure using AppLens, Azure Monitor, resource health, and safe …

568.9K installs

Also in this package

Other skills from plurigrid/asi · top by installs.

npx skills add plurigrid/asi
academic-research 164 tree-sitter 42 wev-tesseract 40 reverse-engineering 24 beeper-mcp 21 bdd-mathematical-verification 20 alife 17 backend-development 15 tizen-app-scaffold 14 canvas-design 13

Browse all from plurigrid/asi

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 62
License LICENSE
Default branch main
Open issues 3
Status Active

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 929 B
  • docs SUMMARY.md 216 B

History

  1. First seen on skills.sh
  2. First recorded snapshot · 1 installs

SKILL.md

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