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

hegel-skill

An agent skill for writing Hegel tests

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

85 GitHub stars (85)

+3 in 16 days

Stars gained per day · daily snapshots since Sep 30
Stars gained per day, Sep 30 to Oct 16: +3 in total; the busiest day was Oct 8 with +2 stars.Oct 1: 0 starsOct 2: 0 starsOct 3: 0 starsOct 4: +1 starsOct 5: 0 starsOct 6: 0 starsOct 7: 0 starsOct 8: +2 starsOct 9: 0 starsOct 10: 0 starsOct 11: 0 starsOct 12: 0 starsOct 13: 0 starsOct 14: 0 starsOct 15: 0 starsOct 16: 0 stars
Stars gained between daily snapshots
PeriodNew stars
Oct 10
Oct 20
Oct 30
Oct 4+1
Oct 50
Oct 60
Oct 70
Oct 8+2
Oct 90
Oct 100
Oct 110
Oct 120
Oct 130
Oct 140
Oct 150
Oct 160
  • 2 skills (2 skills found in its SKILL.md files)
  • 8 forks (8 forks)
  • 2d ago last update (Last updated 2d ago)

Install

Skills CLI

npx skills add hegeldev/hegel-skill

Asks which skills and agents to install. Just one: npx skills add hegeldev/hegel-skill --skill hegel-review — add -g for every project.

Claude Code

git clone https://github.com/hegeldev/hegel-skillcp -r "hegel-skill/skills/hegel-review" ~/.claude/skills/

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

Plugin

/plugin marketplace add hegeldev/hegel-skill

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.

  • hegel-review

    Review property-based tests for the failure modes that make them weak or misleading. Use after writing property-based tests with hegel (or proptest, quickcheck, fast-check, jqwik, etc.), when asked to review property-based tests, or before shipping a change to a PBT suite.

    skills/hegel-review/SKILL.md on GitHub (opens in a new tab)

  • hegel

    Write property-based tests using Hegel across Rust, Go, C++, TypeScript, Java, and OCaml projects. Use this skill whenever the user asks to write tests, add test coverage, or improve testing for functions, modules, or libraries — especially when the code has properties like round-trips, invariants, or contracts that hold across many inputs. Also triggers on: "property-based tests", "PBT", "hegel"…

    skills/hegel/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.