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

walden

Walden proves that your code meets its spec, and shows what is no longer proven when either one changes. An open-source, deterministic Go CLI: reviewed specs, executable proofs, durable evidence, a release gate for CI.

  • Active — Updated in the last 14 days
View on GitHub (opens in a new tab)

60 GitHub stars (60)

  • 3 skills (3 skills found in its SKILL.md files)
  • 5 forks (5 forks)
  • 1d ago last update (Last updated 1d ago)

Install

Skills CLI

npx skills add andrearaponi/walden

Asks which skills and agents to install. Just one: npx skills add andrearaponi/walden --skill walden-history — add -g for every project.

Claude Code

git clone https://github.com/andrearaponi/waldencp -r "walden/skill/walden-history" ~/.claude/skills/

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

Plugin

/plugin marketplace add andrearaponi/walden

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.

  • walden-history

    Walden History narrates a Walden repository's past from git history: feature chronicles built from frontmatter transitions, the product story of eras and supersessions, rework reports measuring churn after approvals, and the retirement ceremony for superseded specifications. Use when the user asks how a feature evolved, for a spec timeline or contract history, for rework or churn analysis, for th…

    skill/walden-history/SKILL.md on GitHub (opens in a new tab)

  • walden-testability

    Walden Testability reviews a Walden design for testability before the task plan exists. For every acceptance criterion it asks what a proof must provoke (controllability), where it sees the response from outside (observability), which oracle decides pass or fail without trusting the implementation, which proof kind is cheapest and where it runs in the agent's loop, then proposes the smallest seam…

    skill/walden-testability/SKILL.md on GitHub (opens in a new tab)

  • walden

    Walden drafts and maintains feature specs in `.walden/specs/` with EARS requirements, reviewed design, tasks, and executable proofs. Use when the user asks for Walden, a feature spec, requirements, design, an implementation plan, or work governed by an existing Walden spec. First distinguish contract-preserving maintenance from new or changed behavior.

    skill/walden/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.