<Devsly/>
NotebookLM Watermark Remover
Remove the NotebookLM watermark from PDF slide exports — free, unlimited, and 100% in your browser.
View
NotebookLM Video Watermark Remover
Remove the NotebookLM watermark from every frame of your MP4 and auto-trim the end card — free and unlimited.
View
Gemini Watermark Remover
Remove the Gemini (Veo) sparkle watermark from every frame of your AI-generated MP4 — free and unlimited.
View
MCP https://devsly.io/mcp MCP Tools Best Skills API Docs

Keyboard Shortcuts

Navigation

Quick Search
⌘ / Ctrl + K
Toggle Dark Mode
⌘ / Ctrl + D
Close Dialogs
Esc

Tool Actions

Execute / Process
⌘ / Ctrl + Enter
Clear Input
⌘ / Ctrl + Shift + C
Copy Output
⌘ / Ctrl + Shift + X

Editor

Select All
⌘ / Ctrl + A
Undo
⌘ / Ctrl + Z
Redo
⌘ / Ctrl + Shift + Z

Updated 4mo ago

by Eldergenix

Proofloop

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

Works with
  • Claude
  • Codex

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)

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.