<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 1w ago

by inanna-malick

agent-skills

Personal skills for capable agents and agent swarms

  • New — Created in the last 30 days
  • Active — Updated in the last 14 days
View on GitHub (opens in a new tab)

13 GitHub stars (13)

+13 in 12 days

Stars gained per day · daily snapshots since Oct 14
Stars gained per day, Oct 14 to Oct 17: +3 in total; the busiest day was Oct 15 with +1 stars.Oct 15: +1 starsOct 16: +1 starsOct 17: +1 stars
Stars gained between daily snapshots
PeriodNew stars
Oct 15+1
Oct 16+1
Oct 17+1
  • 3 skills (3 skills found in its SKILL.md files)
  • 0 forks (0 forks)
  • 1w ago last update (Last updated 1w ago)

Install

Skills CLI

npx skills add inanna-malick/agent-skills

Asks which skills and agents to install. Just one: npx skills add inanna-malick/agent-skills --skill proptest-praxis — add -g for every project.

Claude Code

git clone https://github.com/inanna-malick/agent-skillscp -r "agent-skills/skills/proptest-praxis" ~/.claude/skills/

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

Plugin

/plugin marketplace add inanna-malick/agent-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.

  • proptest-praxis

    Build model-based property-testing suites to find correctness bugs, then reduce failures to deterministic regression tests and minimal fixes. Use for broad property-testing coverage of custom data structures and algorithms, including operation-sequence generators and independent reference models.

    skills/proptest-praxis/SKILL.md on GitHub (opens in a new tab)

  • write-agent-prompts

    Write prompts and skills for capable peer agents using high-salience technical referents, conceptual breadth, and semantic compression. Use when shaping how an agent recognizes task structure, recruits knowledge, selects methods, and adapts its approach.

    skills/write-agent-prompts/SKILL.md on GitHub (opens in a new tab)

  • write-plans

    Write or revise plans for future execution by capable agents or collaborators. Use when the requested deliverable is an implementation plan, investigation plan, execution brief, or continuation handoff that must preserve intent and support adaptation across context changes.

    skills/write-plans/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.