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 dock

by hinsley· Repository·development

Run in AgentArea Browse All Skills

Also installable via skills CLI

npx skills add hinsley/DiffSymAgent/.codex/skills/reduce-relie-basics

Source

Repo:github.com/hinsley/DiffSymAgent

Path:.codex/skills/reduce-relie-basics/SKILL.md(main)

Related in development

fix-facebook-react

Use when you have lint errors, formatting issues, or before committing code to ensure it passes CI.

by facebook

242,476

update-docs-vercel-next-js

This skill should be used when the user asks to "update documentation for my changes", "check docs for this PR", "what docs need u...

by vercel

137,316

docstring-pytorch-pytorch

Write docstrings for PyTorch functions and methods following PyTorch conventions. Use when writing or updating docstrings in PyTor...

by pytorch

96,875