Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/mitchpaulus-redo
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this skill can do and what it asks for, from its SKILL.md and code. Checked Oct 26, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
Network hosts it talks to 1
codeload.github.com· found in install command
Files it touches
~/.claude/skills/redo
What's inside
- Skill name
redo- Description
- redo is a build system, a competitor to make. It relies on simple script files, written in any language.
- License
- MIT
- Instructions
- 19 lines in SKILL.md · view on GitHub
Files (1)
- SKILL.md
SKILL.md (first lines)
`redo` is a build system that is extremely powerful, yet simple. There are many different implementations of the basic idea, similar to `make`. The original idea can be found at <https://cr.yp.to/redo.html>. Build targets are set by `.do` files that define how the target is made. Unless I tell you otherwise use `mshell` as the script language. The key commands are: ``` redo redo-ifchange redo-always ``` I also have my own implementation that is cross platform because it by default uses `mshell` as the script language of choice. Please use that by default.
From mitchpaulus/dotfiles, MIT.
More from mitchpaulus/dotfiles
- 0.605score
perf-review
mitchpaulus
Do a total and thorough review for performance conditions
SkillAFreshness: A★ 5Claude Code +9 - 0.576score
mshell
mitchpaulus
`mshell` is a programming language that is meant to replace usages of traditional shells like bash or programming languages for short scripts like Python.
SkillBFreshness: B★ 5Claude Code +9 - 0.576score
xlim
mitchpaulus
`xlim` is a domain specific language designed for mathematical calculations with units.
SkillBFreshness: B★ 5Claude Code +9 - 0.571score
mmysql
mitchpaulus
mmysql is my personal CLI tool for working with MySQL databases.
SkillBFreshness: B★ 5Claude Code +9 - 0.568score
ntfy
mitchpaulus
ntfy is a simple script that uses ntfy to send me a notification
SkillBFreshness: B★ 5Claude Code +9 - 0.565score
GenOpt
mitchpaulus
GenOpt is a useful tool for multidimensional optimization of output from simulation programs.
SkillBFreshness: B★ 5Claude Code +9 - 0.561score
PDF Bookmarks
mitchpaulus
Scripts to get and set bookmarks for PDFs.
SkillBFreshness: B★ 5Claude Code +9 - 0.526score
mplot
mitchpaulus
mplot is a concise programming language and CLI for producing simple 2d plots.
SkillCFreshness: C★ 5Claude Code +9 - 0.521score
cpmodel
mitchpaulus
cpmodel is a skill for creating linear change point models that are often used in the the monitoring and verification of whole building energy use.
SkillCFreshness: C★ 5Claude Code +9 - 0.521score
iem
mitchpaulus
This skill is used to easily interact with the Iowa Enviornmental Mesonet weather API.
SkillCFreshness: C★ 5Claude Code +9 - 0.521score
influx
mitchpaulus
We use influx as our time series database for building automation system data.
SkillCFreshness: C★ 5Claude Code +9 - 0.518score
xlwrite
mitchpaulus
`xlwrite` is a simple CLI utility that can take a TSV input and write the data to an Excel spreadsheet.
SkillCFreshness: C★ 5Claude Code +9
Signals
- Stars
- 5
- Forks
- 1
- Open issues
- 0
- Last commit (this folder)
- Oct 13, 2026 (15 days ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- MIT
- Repository
- github.com/mitchpaulus/dotfiles
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from mitchpaulus
- 0.605score
perf-review
mitchpaulus
Do a total and thorough review for performance conditions
SkillAFreshness: A★ 5Claude Code +9 - 0.576score
xlim
mitchpaulus
`xlim` is a domain specific language designed for mathematical calculations with units.
SkillBFreshness: B★ 5Claude Code +9 - 0.576score
mshell
mitchpaulus
`mshell` is a programming language that is meant to replace usages of traditional shells like bash or programming languages for short scripts like Python.
SkillBFreshness: B★ 5Claude Code +9 - 0.571score
mmysql
mitchpaulus
mmysql is my personal CLI tool for working with MySQL databases.
SkillBFreshness: B★ 5Claude Code +9 - 0.568score
ntfy
mitchpaulus
ntfy is a simple script that uses ntfy to send me a notification
SkillBFreshness: B★ 5Claude Code +9 - 0.565score
GenOpt
mitchpaulus
GenOpt is a useful tool for multidimensional optimization of output from simulation programs.
SkillBFreshness: B★ 5Claude Code +9
Cite this page
redo skill. Agent Mart. https://agentmart.dev/skills/mitchpaulus-redo (last updated 2026-10-24)