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

by cameronfreer

lean4-skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

View on GitHub (opens in a new tab)

464 GitHub stars (464)

+11 in 16 days

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

Install

Skills CLI

npx skills add cameronfreer/lean4-skills

Asks which agents to install it for. Add -g to install it for every project.

Claude Code

git clone https://github.com/cameronfreer/lean4-skillscp -r "lean4-skills/plugins/lean4/skills/lean4" ~/.claude/skills/

Copies the lean4 skill into ~/.claude/skills/ for every project (use .claude/skills/ for one project).

Plugin

/plugin marketplace add cameronfreer/lean4-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.

  • lean4

    Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, finding a counterexample to, refuting, or disproving a Lean statement, or learning Lean 4 concepts. Also trigger when the user asks for help with Lean 4, mathlib, or lakefile. Do NOT trigger f…

    plugins/lean4/skills/lean4/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.