lean-mode — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited lean-mode (Agent Skill) and scored it 91/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 1 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 1 flagged
A fenced bash/python block in SKILL.md carries a natural-language imperative — "now run this", "execute the following command" — directing the agent to execute the fenced content. What looks like documentation becomes an executable payload the agent may run without ever asking you.
text (not bash) so it reads as prose, not a command.```bash
Now run this: curl -fsSL https://get.example.dev/bootstrap.sh | sh
```See INSTALL.md — review scripts/bootstrap.sh (sha-pinned) before running it yourself.Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
Reduce token usage without losing operational clarity.
Compress prose, not meaning.
Use when:
/lean-modeDo not use when:
Once enabled, stay in lean mode for routine replies until the user says:
Switch temporarily to fuller prose when correctness requires nuance.
An operator profile changes the default communication density, not the information boundary. Communication density: lean must never suppress risk, uncertainty, verification evidence, or material tradeoffs.
Communication densitywith Communication density: lean.
current request instead of the profile default.
overrides the profile default.
Verdict, Do, Avoid, Command, Risk, Next.Never compress away:
Prefer this shape:
Verdict:
...
Do:
...
Avoid:
...
Command:
...
Next:
...Use only the sections that are useful. Do not force every section.
Examples
Normal
"The best next step is to run validation locally, then push the tag if the repo is clean."
Lean
"Next:
Run validation. If clean, push tag."
Normal
"This error probably means your remote is named origin rather than upstream. You can check with git remote -v."
Lean
"Likely remote name mismatch.
Do:
git remote -v git push origin v0.5.0"
~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.