workersio/skills

1

kani-proof Writes Kani bounded model checker proofs for Rust programs. Proves conservation, isolation, arithmetic safety, and ac…

workersio/skills

139

2

save Save this session as a reusable agent

workersio/skills

137

3

solana-audit TRIGGER when: user asks to audit, review, or security-check a Solana smart contract, OR codebase contains solana_prog…

workersio/skills

133

4

axiom-verify Verify and transform Lean 4 proofs using the Axiom (Axle) API. Use when the user works with Lean 4 code, formal mathe…

workersio/skills

127

5

workers-app-tester Test Android apps on a rooted device. Decompile APKs, intercept traffic, parse UI, test for IDORs, bypass SSL pinning…

workersio/skills

115

6

skill-benchmark Benchmark any agent skill to measure whether it actually improves performance. Use when the user wants to evaluate, t…

workersio/skills

113

7

wio Testing workflow skill for finding high-value test candidates, writing focused tests, generating realistic workloads,…

workersio/skills

90

8

fuzzer Coverage-guided fuzzing workflow for C/C++, Rust, and Go targets. Runs audit-context-building to find suspicious code…

workersio/skills

80

9

audit-context-building Deep codebase analysis for building architectural context before vulnerability or bug finding. Uses line-by-line anal…

workersio/skills

75

10

kage Local pentest sandbox for a full black-box engagement. Triggers on "kage", "pentest", "security audit on", "audit the…

workersio/skills

42

11

doctor Diagnose test-suite health problems in a codebase or scope. Use when asked to audit tests, review suite quality, find…

workersio/skills

2

12

scan Find the highest-value test candidates for a codebase, change, or scope. Use when asked what to test next, where cove…

workersio/skills

2

13

test Write one focused high-value test for a selected behavior, code path, or regression risk. Use when asked to add a tes…

workersio/skills

2