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

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
  • Active — Updated in the last 14 days
View on GitHub (opens in a new tab)

132 GitHub stars (132)

+132 in 8 days

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

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.