home/categories/cicd/hinsley-diffsymagent-codex-skills-reduce-relie-basics-skill-md
cicddevops

reduce-relie-basics

Run REDUCE in Docker for this repo (using lunacamp/reduce-algebra), load the vendored ReLie file from resources/relie-src/relie.red, and perform a tiny smoke test. Use when you need the canonical docker run command or a minimal ReLie bootstrap.

hinsley
maintainer
hinsley
Mis à jour 1/8/2026
Étoiles
1
Forks
0
quick start

Installation and usage

Run REDUCE in Docker for this repo (using lunacamp/reduce-algebra), load the vendored ReLie file from resources/relie-src/relie.red, and perform a tiny smoke test. Use when you need the canonical docker run command or a minimal ReLie bootstrap.

Installation
$ install --globalskills.sh
Utilisation

Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :

skills use reduce-relie-basics