<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
Devsly

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 2d ago

by ray-amjad

skills

Skills for coding agents. Straight from my own Claude Code and Codex setup.

  • Active — Updated in the last 14 days
Works with
  • Claude
  • Codex
View on GitHub (opens in a new tab)

59 GitHub stars (59)

+43 in 30 days

Stars gained per day · daily snapshots since Sep 30
Stars gained per day, Sep 30 to Nov 6: +43 in total; the busiest day was Nov 2 with +16 stars.Oct 1: 0 starsOct 2: 0 starsOct 3: 0 starsOct 4: 0 starsOct 5: 0 starsOct 6: 0 starsOct 7: 0 starsOct 8: 0 starsOct 9: 0 starsOct 10: 0 starsOct 11: 0 starsOct 12: 0 starsOct 13: +5 starsOct 14: 0 starsOct 15: +1 starsOct 16: 0 starsOct 17: +2 starsOct 18–19 (2 days): 0 stars (about 0/day)Oct 20: 0 starsOct 21: 0 starsOct 22–23 (2 days): 0 stars (about 0/day)Oct 24: 0 starsOct 25: 0 starsOct 26: 0 starsOct 27: +2 starsOct 28: +2 starsOct 29: 0 starsOct 30: 0 starsOct 31: 0 starsNov 1: 0 starsNov 2: +16 starsNov 3: +2 starsNov 4: +1 starsNov 5: +6 starsNov 6: +6 stars
Stars gained between daily snapshots
PeriodNew stars
Oct 10
Oct 20
Oct 30
Oct 40
Oct 50
Oct 60
Oct 70
Oct 80
Oct 90
Oct 100
Oct 110
Oct 120
Oct 13+5
Oct 140
Oct 15+1
Oct 160
Oct 17+2
Oct 18–19 (2 days)0
Oct 200
Oct 210
Oct 22–23 (2 days)0
Oct 240
Oct 250
Oct 260
Oct 27+2
Oct 28+2
Oct 290
Oct 300
Oct 310
Nov 10
Nov 2+16
Nov 3+2
Nov 4+1
Nov 5+6
Nov 6+6
  • 5 skills (5 skills found in its SKILL.md files)
  • 7 forks (7 forks)
  • 2d ago last update (Last updated 2d ago)

Install

Skills CLI

npx skills add ray-amjad/skills

Asks which skills and agents to install. Just one: npx skills add ray-amjad/skills --skill audit-prove-it — add -g for every project.

Claude Code

git clone https://github.com/ray-amjad/skillscp -r "skills/skills/audit-prove-it" ~/.claude/skills/

Copies the audit-prove-it skill into ~/.claude/skills/ for every project (use .claude/skills/ for one project). Repeat for the other skills listed below.

Plugin

/plugin marketplace add ray-amjad/skills

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.

  • audit-prove-it

    Try to fool a repo's verification skill, either kind made by /create-prove-it (the permanent prove-<app> or a temporary prove-<migration>). Plants one deliberate bug at a time in the files the current change touched (or along a flow the user names), and for a migration only in the new system, never the old one it is compared with. A fresh agent then checks that change or flow with the skill and i…

    skills/audit-prove-it/SKILL.md on GitHub (opens in a new tab)

  • create-prove-it

    Generate a project-local verification skill that an agent runs at the end of a change, before it says done. It asks first whether the skill is for the app or for a migration. For the app it writes or extends one permanent prove-<app> skill with a section per surface (web, API, MCP, CLI), and a new surface adds a section, not a new skill. For a migration (Python to Rust, Next.js to React Router) i…

    skills/create-prove-it/SKILL.md on GitHub (opens in a new tab)

  • idea-to-spec

    Turn a rough feature idea or brief into a verified, implementation-ready technical spec through probed homework, a fresh-agent critique, a one-decision-at-a-time interview, and a confirmed playback. Use it to spec, plan, or define a feature, refactor, migration, workflow, or system change.

    skills/idea-to-spec/SKILL.md on GitHub (opens in a new tab)

  • maintain-prove-it

    Improve a repo's generated verification skill from what its past runs learned. Works on both kinds made by /create-prove-it, the permanent prove-<app> and a temporary prove-<migration>. Reads the receipts in .prove-it/runs/ (failed and blocked steps, retries, the commands that finally worked, steps that failed for reasons unrelated to the change, how each change was sorted into checks) and any bu…

    skills/maintain-prove-it/SKILL.md on GitHub (opens in a new tab)

  • task-lifecycle

    The default path for shipping a repo change as a reviewed and verified PR. Use when the user asks to implement, build, add, fix, or ship a non-trivial change. Also use it, in its already-built mode, when the change already exists and the user wants it reviewed, fixed and verified: "review this PR and fix what it finds", "put this branch through the loop", "check this properly and prove it works",…

    skills/task-lifecycle/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.