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
Actualizado 1/8/2026
Estrellas
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.

Instalación
$ install --globalskills.sh
Uso

Después de instalarlo, puedes usar este skill ejecutando el siguiente comando en tu terminal:

skills use reduce-relie-basics