<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 michael-denyer

agent-formal-verify

TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.

  • Active — Updated in the last 14 days
  • Multi-agent — Targets three or more agents
Works with
  • Claude
  • Codex
  • OpenCode
View on GitHub (opens in a new tab)

38 GitHub stars (38)

+27 in 21 days

Stars gained per day · daily snapshots since Oct 16
Stars gained per day, Oct 16 to Nov 6: +27 in total; the busiest day was Oct 29 with +8 stars.Oct 17: +4 starsOct 18: 0 starsOct 19: +1 starsOct 20: +1 starsOct 21: 0 starsOct 22: 0 starsOct 23: +1 starsOct 24: +3 starsOct 25: 0 starsOct 26: 0 starsOct 27: 0 starsOct 28: +5 starsOct 29: +8 starsOct 30: +1 starsOct 31: 0 starsNov 1: 0 starsNov 2: 0 starsNov 3: +1 starsNov 4: 0 starsNov 5: 0 starsNov 6: +2 stars
Stars gained between daily snapshots
PeriodNew stars
Oct 17+4
Oct 180
Oct 19+1
Oct 20+1
Oct 210
Oct 220
Oct 23+1
Oct 24+3
Oct 250
Oct 260
Oct 270
Oct 28+5
Oct 29+8
Oct 30+1
Oct 310
Nov 10
Nov 20
Nov 3+1
Nov 40
Nov 50
Nov 6+2
  • 2 skills (2 skills found in its SKILL.md files)
  • 7 forks (7 forks)
  • Today last update (Last updated today)

Install

Skills CLI

npx skills add michael-denyer/agent-formal-verify

Asks which skills and agents to install. Just one: npx skills add michael-denyer/agent-formal-verify --skill formal-verify — add -g for every project.

Claude Code

git clone https://github.com/michael-denyer/agent-formal-verifycp -r "agent-formal-verify/skills/formal-verify" ~/.claude/skills/

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

Plugin

/plugin marketplace add michael-denyer/agent-formal-verify

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.

  • formal-verify

    Model-check thread protocols with TLA+ and TLC, prove sequential invariants with Lean 4, and check bounded Rust functions with Kani. Map counter-examples to source locations, reproductions and fixes, and keep the models in CI. Use for /agent-formal-verify:formal-verify, formal verification, model checking, Lean proofs, Kani, bounded Rust verification, or concurrency bugs that runtime tests cannot…

    skills/formal-verify/SKILL.md on GitHub (opens in a new tab)

  • setup

    Prepare all shared tools for the agent-formal-verify plugin: Java, Python, TLC, elan, Lean, Rust and Kani. Use for initial installation, missing prerequisites, or /agent-formal-verify:setup.

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