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

by CBirkbeck

mathlib-quality

Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards

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

37 GitHub stars (37)

+2 in 30 days

Stars gained per day · daily snapshots since Sep 30
Stars gained per day, Sep 30 to Nov 5: +2 in total; the busiest day was Oct 22 with +1 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: 0 starsOct 14: 0 starsOct 15: 0 starsOct 16: 0 starsOct 17: 0 starsOct 18: 0 starsOct 19: 0 starsOct 20: 0 starsOct 21: 0 starsOct 22: +1 starsOct 23: 0 starsOct 24: 0 starsOct 25: 0 starsOct 26: 0 starsOct 27: 0 starsOct 28: 0 starsOct 29: +1 starsOct 30: 0 starsOct 31: 0 starsNov 1: 0 starsNov 2: 0 starsNov 3: 0 starsNov 4: 0 starsNov 5: 0 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 130
Oct 140
Oct 150
Oct 160
Oct 170
Oct 180
Oct 190
Oct 200
Oct 210
Oct 22+1
Oct 230
Oct 240
Oct 250
Oct 260
Oct 270
Oct 280
Oct 29+1
Oct 300
Oct 310
Nov 10
Nov 20
Nov 30
Nov 40
Nov 50
  • 2 skills (2 skills found in its SKILL.md files)
  • 5 forks (5 forks)
  • 1d ago last update (Last updated 1d ago)

Install

Skills CLI

npx skills add CBirkbeck/mathlib-quality

Asks which skills and agents to install. Just one: npx skills add CBirkbeck/mathlib-quality --skill mathlib-quality — add -g for every project.

Claude Code

git clone https://github.com/CBirkbeck/mathlib-qualitycp -r "mathlib-quality/skills/mathlib-quality" ~/.claude/skills/

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

Plugin

/plugin marketplace add CBirkbeck/mathlib-quality

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.

  • mathlib-quality

    Mathlib code quality and style enforcement for Lean 4

    skills/mathlib-quality/SKILL.md on GitHub (opens in a new tab)

  • voyager

    Post a "what's new in Tau Ceti" update as the voyager bot on the Lean Zulip — detect named theorems and significant definitions newly added to the TauCeti library since the last update, verify they are genuinely new (not already in Mathlib) and genuinely significant (via a ChatGPT second opinion), and post them with links to the Tau Ceti review site and PR links plus library stats. Use when runni…

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