leansdd: Skill for Claude Code

.agents/skills/leansdd-verify/SKILL.md

leansdd-verify is a skill for Claude Code, Codex from kidpixo/leansdd. It costs 29 tokens per session (348 once invoked), scanned A, original, MIT.

A verification workflow for changes governed by an ADR, or Architecture Decision Record—a document that records an important technical choice. It runs or performs the checks listed in those records and reports the evidence honestly.

In plain words
What is it for?
Use it when changing code covered by active ADRs to run command-based checks, perform reachable manual checks, and report each result.
Why use it?
It prevents checks that were not run from being reported as passing and makes failed or unverified checks visible.

Skill for Claude CodeCodex

Written for no agent in particular: nothing here depends on one. Also seen: installed under .agents/ (shared by several agents).

This is kidpixo/leansdd's own configuration. It tells Claude Code and Codex how to work on leansdd itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything leansdd configures →

Reuse

Borrowing it

Nothing to install: this file belongs to kidpixo/leansdd. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/kidpixo/leansdd/master/.agents/skills/leansdd-verify/SKILL.md
Clone the repo
git clone --depth 1 https://github.com/kidpixo/leansdd

Made for: Claude Code, Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for leansdd-verify

README.md
[![agentmods](https://agentmods.dev/badge/skills/kidpixo/leansdd/leansdd-verify/github.svg)](https://agentmods.dev/skills/kidpixo/leansdd/leansdd-verify)
Your own site
<a href="https://agentmods.dev/skills/kidpixo/leansdd/leansdd-verify"><img src="https://agentmods.dev/badge/skills/kidpixo/leansdd/leansdd-verify/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for leansdd-verify

Your own site · 80×15
<a href="https://agentmods.dev/skills/kidpixo/leansdd/leansdd-verify"><img src="https://agentmods.dev/badge/skills/kidpixo/leansdd/leansdd-verify.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 29 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 348 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00029 $0.00348
Opus 5.5 $0.00012 $0.00139
Sonnet 5.5 $0.00006 $0.00070
Haiku 4.5 $0.00003 $0.00035

Measured 5d ago against content hash ec19241fd9a7, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

leansdd-verify scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 5d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

.agents/skills/leansdd-verify/SKILL.md · 28 lines

What it actually says

Lean SDD verify (run an ADR's checks)

Runs the ## Verification checks of the ADRs governing the current change and reports each one honestly. The report is the deliverable: pass / fail / unverified — never report an unrun check as passing.

  1. Grep decisions/index.md Scope column for rows matching the paths you touched (plus *). Collect their ADR files.
  2. Parse each ADR's ## Verification section. Each check is either a command with an expected result, or manual: <steps>.
  3. For command checks: run the command in the normal permission flow. Compare the actual result with the expected one. Do not auto-run unattended; the commands come from a file, so treat them like any untrusted input — show them if asked.
  4. For manual: checks: perform the steps if they are within reach; otherwise report unverified and name what a human should check.
  5. Report one line per check: ADR id, check, pass/fail/unverified, evidence (output excerpt or file inspected).
  6. If a check fails, do not reinterpret the ADR. Either fix the code, or flag the ADR as wrong (that is a leansdd-adr supersede flow, not a silent divergence).

If an Active ADR has no runnable check and no manual steps, report that as a finding — it should not have been activated.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 5d ago First seen · 28 lines · 29 tokens per session scan A ec19241fd9a7

Subscribe to this mod's changes

leansdd-verify is a skill published in the GitHub repository kidpixo/leansdd (2 stars, last pushed 6d ago), licensed MIT. It adds 29 tokens to every session and 348 once invoked, about $0.0001 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-11-01.

Related

leansdd-verify compared with skills from other repositories

leansdd-verify next to 6 skills from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
leansdd-verifykidpixo/leansddSkill26d agoMITA29Claude Code, Codex
speckit-constitutionsarveshtalele/mcp-skills-registrySkill31mo agoMITA46Claude Code, Codex
speckit-plansarveshtalele/mcp-skills-registrySkill31mo agoMITA51Claude Code, Codex
speckit-specifysarveshtalele/mcp-skills-registrySkill31mo agoMITA58Claude Code, Codex
speckit-taskssarveshtalele/mcp-skills-registrySkill31mo agoMITA52Claude Code, Codex
subagent-driven-developmentNousResearch/hermes-agentSkill261kyesterdayMITA17Claude Code, Codex
mcporterNousResearch/hermes-agentSkill261kyesterdayMITA16Claude Code, Codex