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

by 1105216375-alt

resimind

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

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

292 GitHub stars (292)

+292 in 29 days

Stars gained per day · daily snapshots since Oct 15
Stars gained per day, Oct 15 to Nov 6: +179 in total; the busiest day was Oct 17 with +39 stars.Oct 16: +19 starsOct 17: +39 starsOct 18: +4 starsOct 19: +18 starsOct 20: +15 starsOct 21: +34 starsOct 22: +8 starsOct 23: −12 starsOct 24: +20 starsOct 25: +20 starsOct 26: +14 starsOct 27: 0 starsOct 28: +1 starsOct 29: 0 starsOct 30: +1 starsOct 31: 0 starsNov 1: 0 starsNov 2: 0 starsNov 3: 0 starsNov 4: −2 starsNov 5: 0 starsNov 6: 0 stars
Stars gained between daily snapshots
PeriodNew stars
Oct 16+19
Oct 17+39
Oct 18+4
Oct 19+18
Oct 20+15
Oct 21+34
Oct 22+8
Oct 23−12
Oct 24+20
Oct 25+20
Oct 26+14
Oct 270
Oct 28+1
Oct 290
Oct 30+1
Oct 310
Nov 10
Nov 20
Nov 30
Nov 4−2
Nov 50
Nov 60
  • 1 skill (1 skills found in its SKILL.md files)
  • 1 forks (1 forks)
  • 3w ago last update (Last updated 3w ago)

Install

Skills CLI

npx skills add 1105216375-alt/resimind

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

Claude Code

git clone https://github.com/1105216375-alt/resimindcp -r "resimind/skills/verify-and-repair-algebra" ~/.claude/skills/

Copies the verify-and-repair-algebra skill into ~/.claude/skills/ for every project (use .claude/skills/ for one project).

Plugin

/plugin marketplace add 1105216375-alt/resimind

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.

  • verify-and-repair-algebra

    Check and repair rational polynomial identities with ResiMind when an expansion looks wrong, two algebraic answers disagree, or an agent needs exact coefficient evidence before using a result. Applies to bounded polynomial algebra, not calculus, arbitrary theorem proving or engineering certification.

    skills/verify-and-repair-algebra/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.