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

by michael-denyer

agent-formal-verify

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

  • New — Created in the last 30 days
  • Active — Updated in the last 14 days
Works with
  • Claude
  • Codex
View on GitHub (opens in a new tab)

14 GitHub stars (14)

+14 in 16 days

Stars gained per day · daily snapshots since Oct 16
Stars gained per day, Oct 16 to Oct 17: +3 in total; the busiest day was Oct 17 with +3 stars.Oct 17: +3 stars
Stars gained between daily snapshots
PeriodNew stars
Oct 17+3
  • 2 skills (2 skills found in its SKILL.md files)
  • 2 forks (2 forks)
  • 1d ago last update (Last updated 1d ago)

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.