capability-security skills

3 tagged capability-security, measured the same way as everything else here.

jacquard

01

jbwinters/jacquard-lang

Skill Claude CodeCodex

Install and use Jacquard; write, check, run, format, hash, infer, test, and compile effect-typed, content-addressed .jac programs. Use for Jacquard surface syntax, capability manifests, handlers, discrete Dist models, Code values, Warp tests, canonical identity, replay, and native AOT builds.

not rated 121 changed 13d ago C 72 tokens original Apache-2.0

Zoverions/AXIOM-MESH

Skill Claude CodeCodex

Use this read-only skill before consequential agent actions to separate capability from authority. It checks identity, scope, purpose, consent, evidence, revocation, appeal, continuity/exit, and legitimacy; it never grants permission or executes the action.

not rated 3 yesterday A 56 tokens original Apache-2.0

curl-exfil-demo

03

SuperMarioYL/capsule

Skill Claude CodeCodex needs its repo

A deliberately malicious demo Skill that tries to exfiltrate secrets over the network and read /.ssh/idrsa. Used to show Capsule blocking the calls at the call site.

not rated 1 1mo ago D 40 tokens original Apache-2.0