Updated 4mo ago
by Eldergenix
Proofloop
Proof-driven Claude/Codex agent loop with paired execution, persistent resume, and adversarial security/performance gates.
40 GitHub stars (40)
Steady at 40 stars — no new stars in the 16 days since Sep 30.
- 2 skills (2 skills found in its SKILL.md files)
- 0 forks (0 forks)
- 4mo ago last update (Last updated 4mo ago)
Install
Skills CLI
npx skills add Eldergenix/Proofloop
Asks which skills and agents to install. Just one: npx skills add Eldergenix/Proofloop --skill clean-vm — add -g for every project.
Claude Code
git clone https://github.com/Eldergenix/Proofloopcp -r "Proofloop/.agents/skills/clean-vm" ~/.claude/skills/
Copies the clean-vm skill into ~/.claude/skills/ for every project (use .claude/skills/ for one project). Repeat for the other skills listed below.
Plugin
/plugin marketplace add Eldergenix/Proofloop
Run inside Claude Code if the repository ships a plugin marketplace, then pick plugins from /plugin.
Skills can run code on your machine — read the SKILL.md first.
What it does
In the author's own words, from each skill's SKILL.md.
-
clean-vm
Safely clean the local loop VM by reporting and removing stale loop runs, inactive Next.js or Storybook servers, optional browser windows, and unused loop-created worktrees without disturbing active tmux-backed sessions.
.agents/skills/clean-vm/SKILL.md on GitHub (opens in a new tab) -
find-skills
Helps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is there a skill that can...", or express interest in extending capabilities. This skill should be used when the user is looking for functionality that might exist as an installable skill.
.agents/skills/find-skills/SKILL.md on GitHub (opens in a new tab)
No skill matches that filter.
Review before you install
A skill is a set of instructions and scripts your agent will follow, and it can run code on your machine. Read the SKILL.md and any scripts first — this listing is not a security review.