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

by WWresearch

lamport-proof

Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.

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

22 GitHub stars (22)

Stars gained per day · daily snapshots since Sep 26
Stars gained per day, Sep 26 to Oct 16: 0 in total; the busiest day was Oct 15 with +1 stars.Sep 27: 0 starsSep 28: −1 starsSep 29: 0 starsSep 30: 0 starsOct 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: +1 starsOct 16: 0 stars
Stars gained between daily snapshots
PeriodNew stars
Sep 270
Sep 28−1
Sep 290
Sep 300
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 15+1
Oct 160
  • 3 skills (3 skills found in its SKILL.md files)
  • 0 forks (0 forks)
  • 1mo ago last update (Last updated 1mo ago)

Install

Skills CLI

npx skills add WWresearch/lamport-proof

Asks which skills and agents to install. Just one: npx skills add WWresearch/lamport-proof --skill convert-lamport — add -g for every project.

Claude Code

git clone https://github.com/WWresearch/lamport-proofcp -r "lamport-proof/skills/convert-lamport" ~/.claude/skills/

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

Plugin

/plugin marketplace add WWresearch/lamport-proof

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.

  • convert-lamport

    Convert an existing prose, flat, or loosely organized mathematical proof into a source-mapped Lamport-style hierarchy without repairing or completing its mathematics. Use when a submitted proof needs a traceable hierarchical rendering before a forward Lamport audit or for clearer presentation. Do not use to invent a proof, certify validity, or restructure an already hierarchical proof merely to a…

    skills/convert-lamport/SKILL.md on GitHub (opens in a new tab)

  • forward-lamport

    Audit an existing Lamport-style hierarchical mathematical proof forward for validity and whether its hierarchy, scope, dependencies, side conditions, and proof constructs discharge the stated theorem. Use when the central question concerns a top-down proof with numbered levels, subproofs, ASSUME/PROVE, SUFFICES, PICK, CASE, DEFINE, Q.E.D., or prose equivalents. For an ordinary proof that first ne…

    skills/forward-lamport/SKILL.md on GitHub (opens in a new tab)

  • reverse-lamport

    Audit an existing mathematical, logical, algorithmic, or technical proof from its stated conclusion backward as a bounded AND/OR graph of exact obligations. Use to reconstruct conclusion dependencies, determine whether a proof-supplied route establishes the conclusion, or expose hidden assumptions, unmet side conditions, cycles, overly strong steps, or silent route switches. For a source-mapped L…

    skills/reverse-lamport/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.