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

by morankor

theorist-toolbox

A toolkit of Claude Code skills for doing economic theory with LLMs: math-proof (single-pass proving), codex-math (adversarial verification), and co-math (multi-agent proof projects). With a VCG-for-grade-inflation case study.

Works with
  • Claude
  • Codex
View on GitHub (opens in a new tab)

86 GitHub stars (86)

+6 in 16 days

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

Install

Skills CLI

npx skills add morankor/theorist-toolbox

Asks which skills and agents to install. Just one: npx skills add morankor/theorist-toolbox --skill co-math-init — add -g for every project.

Claude Code

git clone https://github.com/morankor/theorist-toolboxcp -r "theorist-toolbox/skills/co-math-init" ~/.claude/skills/

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

Plugin

/plugin marketplace add morankor/theorist-toolbox

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.

  • co-math-init

    Initialize a new AI co-mathematician research project. Use when the user wants to start a new math research investigation with AI agent support, or types "/co-math-init", "start a co-math project", "new research project", or similar. Scaffolds a directory with paper.tex, goals.md, decisions.md, workstreams/, and per-project hooks/config that enforce the co-mathematician discipline (no hand-waving…

    skills/co-math-init/SKILL.md on GitHub (opens in a new tab)

  • co-math-status

    Render a compact status view of an AI co-mathematician research project — goals, active workstreams, blocked items, pending reviews, recent decisions. Use when the user asks "what's the status of this project", "show me the workstreams", "/co-math-status", "what's blocked", or wants to understand project state without opening files manually. Replaces the visual workstream branching diagrams of th…

    skills/co-math-status/SKILL.md on GitHub (opens in a new tab)

  • codex-math

    OpenAI Codex (gpt-5.5) as an adversarial mathematical co-processor — verify, write, and explore modes for hard proofs, counterexample search, and independent verification. Treat every output as a lead, not a verdict.

    skills/codex-math/SKILL.md on GitHub (opens in a new tab)

  • math-proof

    Write clear, detailed mathematical proofs for academic papers. Use when the user asks to prove a result, derive an equation, justify a claim analytically, or expand a proof sketch into a full proof. Also trigger on "prove", "show analytically", "derive", "justify mathematically", or "write a proof".

    skills/math-proof/SKILL.md on GitHub (opens in a new tab)

  • proof-readability

    Improve the readability and exposition of mathematical proofs that are already verified as correct, without changing their mathematical content. Use when the user asks to polish, edit, or improve the readability/exposition/presentation of a proof, lemma, or appendix; after a co-math prover/reviewer cycle accepts a proof; or on "make this proof readable", "polish this proof", "improve the expositi…

    skills/proof-readability/SKILL.md on GitHub (opens in a new tab)

  • second-brain

    Set up and use an academic "second brain" — agentic RAG over a local library of theoretical papers (LaTeX-aware ingestion, theorem/proof tools, hybrid search). Use when the user wants a second brain for papers in a folder, says "/second-brain", "set up a second brain here", "ingest this paper into my second brain", or asks questions against an existing second-brain library (a directory containing…

    skills/second-brain/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.