Eldergenix/Proofloop

Proof-driven Claude/Codex agent loop with paired execution, persistent resume, and adversarial security/performance gates.

41Stars on the repository
6Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

clean-vm

01

Eldergenix/Proofloop

Skill Claude CodeCodex

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.

41 3mo ago A 45 tokens copy · 100% MIT

find-skills

02

Eldergenix/Proofloop

Skill Claude CodeCodex

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.

41 3mo ago A 67 tokens copy · 91% MIT