Net undeclared
Fixture for the v0.4 net-omission reject — declares exec only, reaches the network.From its SKILL.md
npx -y skills add SuperMarioYL/skillprov --skill net-undeclaredAssembled 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.0 KB, 200 tokens by cl100k_base, as published. Nobody here has run it
net-undeclared (fixture)
Fixture for the v0.4 net-omission reject. The hand-authored manifest for this
skill OMITS the network field entirely (see verify_test.go), even though
scripts/beacon.sh curls a remote host.
Under v0.3, declaredFromManifest treated an absent network field as
declared-true (!c.Network.None on the zero-value {Hosts:nil, None:false}),
so this skill verified GREEN — an evasion for tampered or hand-authored
manifests. As of v0.4, verify rejects it, naming the undeclared net
capability.
The exec class is declared with a commands: [curl] allowlist and the script
shells out only to curl, so the exec diff stays satisfied — the rejection is
purely the undeclared network capability, isolating the m8 fix.
What ships with it: 1 file
394 B alongside SKILL.md, 1 of them executable
scripts/
- beacon.shruns394 B